Skip to content

Actions: hyperpolymath/panic-attack

Actions

.github/workflows/hypatia-scan.yml

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
hypatia-scan.yml
242 workflow runs
242 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(contractiles): add bust/ + relocate k9 to svc/ .github/workflows/hypatia-scan.yml #244: Commit 71f38d4 pushed by hyperpolymath
Failure main
main
Failure
Standardize workspace: Justfile migration and A2ML directive cleanup .github/workflows/hypatia-scan.yml #243: Commit da3a4a2 pushed by hyperpolymath
Failure main
main
Failure
feat(assail): structural FFI safe-wrapper detector + Rule 13 suppression .github/workflows/hypatia-scan.yml #242: Commit d381541 pushed by hyperpolymath
Failure main
main
Failure
docs: record user-classification registry + Rocq scaffold classifier .github/workflows/hypatia-scan.yml #241: Commit d024a9e pushed by hyperpolymath
Failure main
main
Failure
feat(assail): user-classification registry flips audited findings to … .github/workflows/hypatia-scan.yml #240: Commit 315917b pushed by hyperpolymath
Failure main
main
Failure
feat(assail/rocq): classify scaffold parameters as non-postulates .github/workflows/hypatia-scan.yml #239: Commit 6d6822a pushed by hyperpolymath
Failure main
main
Failure
fix(analyzer): clear 4 -Wunused-variable warnings + latent bug .github/workflows/hypatia-scan.yml #238: Commit 9288e17 pushed by hyperpolymath
Failure main
main
Failure
fix(assail): TODO-in-string-literal FP closed (Task #23) .github/workflows/hypatia-scan.yml #237: Commit b8d177d pushed by hyperpolymath
Failure main
main
Failure
test(corpus): 12-case UnboundedAllocation regression corpus (Task #25) .github/workflows/hypatia-scan.yml #236: Commit 8b12fec pushed by hyperpolymath
Failure main
main
Failure
bench(assail): per-file UnboundedAllocation detector (Task #25) .github/workflows/hypatia-scan.yml #235: Commit 9126b98 pushed by hyperpolymath
Failure main
main
Failure
feat(assail): word-boundary detector for UnboundedAllocation (Task #25) .github/workflows/hypatia-scan.yml #234: Commit e199ef3 pushed by hyperpolymath
Failure main
main
Failure
fix(bounds): .take(LIMIT) on config/report/analyzer reads (batch 2/2) .github/workflows/hypatia-scan.yml #233: Commit 804a25d pushed by hyperpolymath
Failure main
main
Failure
fix(bounds): .take(LIMIT) on external-input reads (batch 1/N) .github/workflows/hypatia-scan.yml #232: Commit 6941ef7 pushed by hyperpolymath
Failure main
main
Failure
fix(assail): close CryptoMisuse self-reference FP (use code_only not … .github/workflows/hypatia-scan.yml #231: Commit 4c1c128 pushed by hyperpolymath
Failure main
main
Failure
refactor: VQL -> VCL rename to match estate-wide convention .github/workflows/hypatia-scan.yml #230: Commit 24b91b4 pushed by hyperpolymath
Failure main
main
Failure
fix(proofs): repair PA1 + PA2 Idris2 proofs (both were broken) .github/workflows/hypatia-scan.yml #229: Commit 0abfd40 pushed by hyperpolymath
Failure main
main
Failure
fix(bench): repair scan_bench for drifted types (stale since ~v2.5.0) .github/workflows/hypatia-scan.yml #228: Commit a63544b pushed by hyperpolymath
-1s main
main
-1s
feat(chapel): implement --scheduler=queue (resumable work-pull) .github/workflows/hypatia-scan.yml #227: Commit 6ffc1d7 pushed by hyperpolymath
Failure main
main
Failure
ci: wire hypatia-scan.yml to query own Dependabot alerts .github/workflows/hypatia-scan.yml #226: Commit 44bf52e pushed by hyperpolymath
Failure main
main
Failure
feat(chapel): --scheduler flag with dual-direction startup banner .github/workflows/hypatia-scan.yml #225: Commit d49a209 pushed by hyperpolymath
1h 44m 58s main
main
1h 44m 58s
feat(assail): broaden #[cfg(test)] mod strip; recognise .take() as re… .github/workflows/hypatia-scan.yml #224: Commit 30132b6 pushed by hyperpolymath
1h 59m 15s main
main
1h 59m 15s
chore: estate-wide chore + stale-path sweep (2026-04-17) .github/workflows/hypatia-scan.yml #223: Commit 91eb25b pushed by hyperpolymath
1h 48m 37s main
main
1h 48m 37s
feat(assail): strip #[cfg(test)] mod bodies before Rust keyword scan .github/workflows/hypatia-scan.yml #222: Commit 9eda513 pushed by hyperpolymath
1h 35m 46s main
main
1h 35m 46s
fix(assail): tighten UnboundedAllocation Rust heuristic (72→6 on 007) .github/workflows/hypatia-scan.yml #221: Commit 317a0e9 pushed by hyperpolymath
33s main
main
33s
feat(assail): JIT-aware classification for mem::transmute (Rust) .github/workflows/hypatia-scan.yml #220: Commit 72e96a7 pushed by hyperpolymath
5m 19s main
main
5m 19s