actions-marketplace-validations/PintOS Checker

Check your implementation of PintOS

View on GitHub

Trust Signals

Scorecard Score
not yet scored
Maintenance Recency
Stalelast commit Oct 20, 2022
License
None

Pinned Snippet

workflow.ymlSHA-pinned
uses: actions-marketplace-validations/gbenm_pintos-checker@0931421bbad1c7d848e4fe12b38d5b4c4313eb61 # no releases — HEAD as of 2026-07-12

tags can be moved; commit SHAs can't. why a SHA?

namedescriptionrequireddefault
phasePhase to checkyesthreads
rootPintOS code path (relative to the project root)yes.
makeCommand to execute test in phase folderyesmake clean && make && make grade
utils_pathUtils path (relative to root input)yesutils
namedescription
resultsresults of checker