hsiangnianian/proof-pr

Run repository checks and publish commit-bound verification evidence for pull requests

View on GitHub

Trust Signals

Scorecard Score
not yet scored
Maintenance Recency
Stale
License
None
namedescriptionrequireddefault
baseBase Git ref or commit SHAyes
configRepository-relative proof-pr configuration pathnoproof-pr.toml
output-dirRepository-relative evidence output directoryno.proof-pr
python-versionPython version used to run proof-prno3.11
namedescription
verdictVERIFIED, FAILED, STALE, or ERROR
report-jsonPath to the machine-readable evidence report
report-markdownPath to the Markdown evidence report