Skip to content

Actions: nickharris808/patchproof

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
17 workflow runs
17 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
docs: the PyPI name was claimed by a third party today; the README st… ci #13: Commit 9a3b7a6 pushed by nickharris808
 11m 55s main
main
 11m 55s
docs: warn that the npm 'patchproof' name is a third party's, not ours ci #12: Commit e6db455 pushed by nickharris808
 1m 2s main
main
 1m 2s
docs: complete every README — docs-site link, citation, contribution … ci #11: Commit 2b36a41 pushed by nickharris808
 1m 1s main
main
 1m 1s
docs: citation metadata, and re-vendor where the analyzer changed ci #10: Commit 48858cc pushed by nickharris808
 5m 21s main
main
 5m 21s
docs: add hw-verify, patchproof-verify and the witness-paths dataset … ci #9: Commit 8211245 pushed by nickharris808
 4m 27s main
main
 4m 27s
test: shared vectors, also consumed by the Rust verifier ci #8: Commit 6da75fb pushed by nickharris808
 5m 4s main
main
 5m 4s
docs: state what a certificate proves, and what it does not ci #7: Commit abf8495 pushed by nickharris808
 1m 11s main
main
 1m 11s
docs: make the CI badge report real status instead of asserting green ci #6: Commit c0565ae pushed by nickharris808
 50s main
main
 50s
fix: repair the release workflow so GitHub stops rejecting it ci #5: Commit ca56a5d pushed by nickharris808
 1m 57s main
main
 1m 57s
fix: reject forged certificates and bind each one to the claim it proves ci #4: Commit 08ca331 pushed by nickharris808
 1m 59s main
main
 1m 59s
fix: reject forged certificates and bind each one to the claim it proves release #4: Commit 08ca331 pushed by nickharris808
Failuremain
main
Failure
docs: point the portfolio at the live demo ci #3: Commit d159827 pushed by nickharris808
 2m 13s main
main
 2m 13s
docs: point the portfolio at the live demo release #3: Commit d159827 pushed by nickharris808
Failuremain
main
Failure
docs: cross-link the hw-verify portfolio; drop premature PyPI links ci #2: Commit 0d96095 pushed by nickharris808
 4m 44s main
main
 4m 44s
docs: cross-link the hw-verify portfolio; drop premature PyPI links release #2: Commit 0d96095 pushed by nickharris808
Failuremain
main
Failure
patchproof: initial public release ci #1: Commit 79fc65b pushed by nickharris808
 4m 40s main
main
 4m 40s
patchproof: initial public release release #1: Commit 79fc65b pushed by nickharris808
Failuremain
main
Failure