Skip to content

Actions: nickharris808/patchproof

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
16 workflow runs
16 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: 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
Failure main
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
Failure main
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
Failure main
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
Failure main
main
Failure