Skip to content

Actions: hyperpolymath/panic-attack

Actions

CodeQL Security Analysis

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
codeql.yml
435 workflow runs
435 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
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
fix(bounds): .take(LIMIT) on external-input reads (batch 1/N) CodeQL Security Analysis #172: Commit 6941ef7 pushed by hyperpolymath
7s main
main
7s
fix(assail): close CryptoMisuse self-reference FP (use code_only not … CodeQL Security Analysis #171: Commit 4c1c128 pushed by hyperpolymath
8s main
main
8s
refactor: VQL -> VCL rename to match estate-wide convention CodeQL Security Analysis #170: Commit 24b91b4 pushed by hyperpolymath
24s main
main
24s
fix(proofs): repair PA1 + PA2 Idris2 proofs (both were broken) CodeQL Security Analysis #169: Commit 0abfd40 pushed by hyperpolymath
6s main
main
6s
fix(bench): repair scan_bench for drifted types (stale since ~v2.5.0) CodeQL Security Analysis #168: Commit a63544b pushed by hyperpolymath
14s main
main
14s
feat(chapel): implement --scheduler=queue (resumable work-pull) CodeQL Security Analysis #167: Commit 6ffc1d7 pushed by hyperpolymath
13m 25s main
main
13m 25s
ci: wire hypatia-scan.yml to query own Dependabot alerts CodeQL Security Analysis #166: Commit 44bf52e pushed by hyperpolymath
1h 46m 58s main
main
1h 46m 58s
feat(chapel): --scheduler flag with dual-direction startup banner CodeQL Security Analysis #165: Commit d49a209 pushed by hyperpolymath
1h 46m 7s main
main
1h 46m 7s
feat(assail): broaden #[cfg(test)] mod strip; recognise .take() as re… CodeQL Security Analysis #164: Commit 30132b6 pushed by hyperpolymath
2h 0m 17s main
main
2h 0m 17s
chore: estate-wide chore + stale-path sweep (2026-04-17) CodeQL Security Analysis #163: Commit 91eb25b pushed by hyperpolymath
1h 48m 9s main
main
1h 48m 9s
feat(assail): strip #[cfg(test)] mod bodies before Rust keyword scan CodeQL Security Analysis #162: Commit 9eda513 pushed by hyperpolymath
1h 36m 1s main
main
1h 36m 1s
ProTip! You can narrow down the results and go further in time using created:<2026-04-17 or the other filters available.