Skip to content

Actions: hyperpolymath/panic-attack

Actions

Mirror to Git Forges

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
mirror.yml
310 workflow runs
310 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
fix(regression-tests): replace malformed $REPOS_DIR literal with runt… Mirror to Git Forges #160: Commit 1b2b787 pushed by hyperpolymath
1s main
main
1s
chore(6a2): record 2026-04-25 test-suite Clade A conversion in STATE.… Mirror to Git Forges #159: Commit c0bbbd4 pushed by hyperpolymath
1s main
main
1s
test: convert remaining integration tests to panic-free Result style Mirror to Git Forges #158: Commit 9fe8507 pushed by hyperpolymath
1s main
main
1s
test: convert integration test files to panic-free Result-propagating… Mirror to Git Forges #157: Commit 2053fd9 pushed by hyperpolymath
1s main
main
1s
fix: eliminate production .unwrap() panic sites (6 → 0 bare unwraps) Mirror to Git Forges #156: Commit 5ea9b74 pushed by hyperpolymath
1s main
main
1s
feat: multi-lockfile, OSV retry, language-lock, attest verify, Rule 1… Mirror to Git Forges #155: Commit db603c3 pushed by hyperpolymath
1s main
main
1s
feat(tui,gui): add --headless mode for CI-safe operation Mirror to Git Forges #154: Commit 9609d93 pushed by hyperpolymath
1s main
main
1s
feat: schema versioning, safe_unwrap distinction, ADJUST contractile,… Mirror to Git Forges #153: Commit fd90d2b pushed by hyperpolymath
1s main
main
1s
fix(assail): skip .ipkg files in Idris ProofDrift; add Chapel detector Mirror to Git Forges #152: Commit 945e5f9 pushed by hyperpolymath
1s main
main
1s
chore(contractiles): add bust/ + relocate k9 to svc/ Mirror to Git Forges #151: Commit 71f38d4 pushed by hyperpolymath
1s main
main
1s
Standardize workspace: Justfile migration and A2ML directive cleanup Mirror to Git Forges #150: Commit da3a4a2 pushed by hyperpolymath
1s main
main
1s
feat(assail): structural FFI safe-wrapper detector + Rule 13 suppression Mirror to Git Forges #149: Commit d381541 pushed by hyperpolymath
2s main
main
2s
docs: record user-classification registry + Rocq scaffold classifier Mirror to Git Forges #148: Commit d024a9e pushed by hyperpolymath
1s main
main
1s
feat(assail): user-classification registry flips audited findings to … Mirror to Git Forges #147: Commit 315917b pushed by hyperpolymath
1s main
main
1s
feat(assail/rocq): classify scaffold parameters as non-postulates Mirror to Git Forges #146: Commit 6d6822a pushed by hyperpolymath
1s main
main
1s
fix(analyzer): clear 4 -Wunused-variable warnings + latent bug Mirror to Git Forges #145: Commit 9288e17 pushed by hyperpolymath
2s main
main
2s
fix(assail): TODO-in-string-literal FP closed (Task #23) Mirror to Git Forges #144: Commit b8d177d pushed by hyperpolymath
1s main
main
1s
test(corpus): 12-case UnboundedAllocation regression corpus (Task #25) Mirror to Git Forges #143: Commit 8b12fec pushed by hyperpolymath
1s main
main
1s
bench(assail): per-file UnboundedAllocation detector (Task #25) Mirror to Git Forges #142: Commit 9126b98 pushed by hyperpolymath
1s main
main
1s
feat(assail): word-boundary detector for UnboundedAllocation (Task #25) Mirror to Git Forges #141: Commit e199ef3 pushed by hyperpolymath
1s main
main
1s
fix(bounds): .take(LIMIT) on config/report/analyzer reads (batch 2/2) Mirror to Git Forges #140: Commit 804a25d pushed by hyperpolymath
1s main
main
1s
fix(bounds): .take(LIMIT) on external-input reads (batch 1/N) Mirror to Git Forges #139: Commit 6941ef7 pushed by hyperpolymath
1s main
main
1s
fix(assail): close CryptoMisuse self-reference FP (use code_only not … Mirror to Git Forges #138: Commit 4c1c128 pushed by hyperpolymath
6s main
main
6s
refactor: VQL -> VCL rename to match estate-wide convention Mirror to Git Forges #137: Commit 24b91b4 pushed by hyperpolymath
1s main
main
1s
fix(proofs): repair PA1 + PA2 Idris2 proofs (both were broken) Mirror to Git Forges #136: Commit 0abfd40 pushed by hyperpolymath
1s main
main
1s