Skip to content

Actions: hyperpolymath/panic-attack

Actions

CodeQL Security Analysis

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
codeql.yml
346 workflow runs
346 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
CodeQL Security Analysis CodeQL Security Analysis #197: Scheduled
7s main
main
7s
fix(regression-tests): replace malformed $REPOS_DIR literal with runt… CodeQL Security Analysis #196: Commit 1b2b787 pushed by hyperpolymath
8s main
main
8s
chore(deps): bump the rust-minor group with 4 updates CodeQL Security Analysis #195: Pull request #21 opened by dependabot Bot
5s dependabot/cargo/rust-minor-523c6b6489
dependabot/cargo/rust-minor-523c6b6489
5s
chore(6a2): record 2026-04-25 test-suite Clade A conversion in STATE.… CodeQL Security Analysis #194: Commit c0bbbd4 pushed by hyperpolymath
6s main
main
6s
test: convert remaining integration tests to panic-free Result style CodeQL Security Analysis #193: Commit 9fe8507 pushed by hyperpolymath
1m 10s main
main
1m 10s
test: convert integration test files to panic-free Result-propagating… CodeQL Security Analysis #192: Commit 2053fd9 pushed by hyperpolymath
14s main
main
14s
fix: eliminate production .unwrap() panic sites (6 → 0 bare unwraps) CodeQL Security Analysis #191: Commit 5ea9b74 pushed by hyperpolymath
14s main
main
14s
feat: multi-lockfile, OSV retry, language-lock, attest verify, Rule 1… CodeQL Security Analysis #190: Commit db603c3 pushed by hyperpolymath
13s main
main
13s
feat(tui,gui): add --headless mode for CI-safe operation CodeQL Security Analysis #189: Commit 9609d93 pushed by hyperpolymath
5s main
main
5s
feat: schema versioning, safe_unwrap distinction, ADJUST contractile,… CodeQL Security Analysis #188: Commit fd90d2b pushed by hyperpolymath
22s main
main
22s
fix(assail): skip .ipkg files in Idris ProofDrift; add Chapel detector CodeQL Security Analysis #187: Commit 945e5f9 pushed by hyperpolymath
59s main
main
59s
chore(deps): bump rustls-webpki from 0.103.10 to 0.103.13 CodeQL Security Analysis #186: Pull request #20 opened by dependabot Bot
7s dependabot/cargo/rustls-webpki-0.103.13
dependabot/cargo/rustls-webpki-0.103.13
7s
CodeQL Security Analysis CodeQL Security Analysis #185: Scheduled
5s main
main
5s
chore(contractiles): add bust/ + relocate k9 to svc/ CodeQL Security Analysis #184: Commit 71f38d4 pushed by hyperpolymath
5h 44m 13s main
main
5h 44m 13s
Standardize workspace: Justfile migration and A2ML directive cleanup CodeQL Security Analysis #183: Commit da3a4a2 pushed by hyperpolymath
2m 19s main
main
2m 19s
feat(assail): structural FFI safe-wrapper detector + Rule 13 suppression CodeQL Security Analysis #182: Commit d381541 pushed by hyperpolymath
6s main
main
6s
docs: record user-classification registry + Rocq scaffold classifier CodeQL Security Analysis #181: Commit d024a9e pushed by hyperpolymath
6s main
main
6s
feat(assail): user-classification registry flips audited findings to … CodeQL Security Analysis #180: Commit 315917b pushed by hyperpolymath
6s main
main
6s
feat(assail/rocq): classify scaffold parameters as non-postulates CodeQL Security Analysis #179: Commit 6d6822a pushed by hyperpolymath
12s main
main
12s
fix(analyzer): clear 4 -Wunused-variable warnings + latent bug CodeQL Security Analysis #178: Commit 9288e17 pushed by hyperpolymath
9s main
main
9s
fix(assail): TODO-in-string-literal FP closed (Task #23) CodeQL Security Analysis #177: Commit b8d177d pushed by hyperpolymath
6s main
main
6s
test(corpus): 12-case UnboundedAllocation regression corpus (Task #25) CodeQL Security Analysis #176: Commit 8b12fec pushed by hyperpolymath
7s main
main
7s
bench(assail): per-file UnboundedAllocation detector (Task #25) CodeQL Security Analysis #175: Commit 9126b98 pushed by hyperpolymath
7s main
main
7s
feat(assail): word-boundary detector for UnboundedAllocation (Task #25) CodeQL Security Analysis #174: Commit e199ef3 pushed by hyperpolymath
14s main
main
14s
fix(bounds): .take(LIMIT) on config/report/analyzer reads (batch 2/2) CodeQL Security Analysis #173: Commit 804a25d pushed by hyperpolymath
1m 34s main
main
1m 34s