Skip to content

Actions: hyperpolymath/patch-bridge

Actions

Static Analysis Gate

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
static-analysis-gate.yml
159 workflow runs
159 workflow runs

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
ci: deploy dogfood-gate, fix hypatia-scan, add pre-commit hooks Static Analysis Gate #9: Commit e310bd8 pushed by hyperpolymath
4h 1m 52s main
main
4h 1m 52s
docs: substantive CRG C annotation (EXPLAINME.adoc) Static Analysis Gate #8: Commit 3fe66d7 pushed by hyperpolymath
52m 22s main
main
52m 22s
Snapshot local work before sync Static Analysis Gate #7: Commit f592247 pushed by hyperpolymath
7m 1s main
main
7m 1s
Refresh patch-bridge methodology guard Static Analysis Gate #6: Commit 95543a9 pushed by hyperpolymath
12s main
main
12s
Remove template-only ABI files that falsely implied formal verification Static Analysis Gate #5: Commit 79672f1 pushed by hyperpolymath
26m 4s main
main
26m 4s
fix: correct 'formal soundness' claim — proofs are pending, not done Static Analysis Gate #4: Commit 3cad52b pushed by hyperpolymath
12s main
main
12s
docs: add Zenodo DOI badge (10.5281/zenodo.19329501) + proof audit Static Analysis Gate #3: Commit 9c2f073 pushed by hyperpolymath
14s main
main
14s
docs: add BibTeX bibliography for Patch Bridge paper Static Analysis Gate #2: Commit a5544b2 pushed by hyperpolymath
1m 13s main
main
1m 13s
feat: extract Patch Bridge from panic-attacker into standalone repo Static Analysis Gate #1: Commit 97dd5ac pushed by hyperpolymath
15s main
main
15s