Skip to content

Actions: hyperpolymath/panic-attack

Actions

Guix/Nix Package Policy

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
guix-nix-policy.yml
169 workflow runs
169 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/ Guix/Nix Package Policy #169: Commit 71f38d4 pushed by hyperpolymath
5h 43m 11s main
main
5h 43m 11s
Standardize workspace: Justfile migration and A2ML directive cleanup Guix/Nix Package Policy #168: Commit da3a4a2 pushed by hyperpolymath
1m 34s main
main
1m 34s
feat(assail): structural FFI safe-wrapper detector + Rule 13 suppression Guix/Nix Package Policy #167: Commit d381541 pushed by hyperpolymath
9s main
main
9s
docs: record user-classification registry + Rocq scaffold classifier Guix/Nix Package Policy #166: Commit d024a9e pushed by hyperpolymath
7s main
main
7s
feat(assail): user-classification registry flips audited findings to … Guix/Nix Package Policy #165: Commit 315917b pushed by hyperpolymath
21s main
main
21s
feat(assail/rocq): classify scaffold parameters as non-postulates Guix/Nix Package Policy #164: Commit 6d6822a pushed by hyperpolymath
15s main
main
15s
fix(analyzer): clear 4 -Wunused-variable warnings + latent bug Guix/Nix Package Policy #163: Commit 9288e17 pushed by hyperpolymath
9s main
main
9s
fix(assail): TODO-in-string-literal FP closed (Task #23) Guix/Nix Package Policy #162: Commit b8d177d pushed by hyperpolymath
10s main
main
10s
test(corpus): 12-case UnboundedAllocation regression corpus (Task #25) Guix/Nix Package Policy #161: Commit 8b12fec pushed by hyperpolymath
15s main
main
15s
bench(assail): per-file UnboundedAllocation detector (Task #25) Guix/Nix Package Policy #160: Commit 9126b98 pushed by hyperpolymath
9s main
main
9s
feat(assail): word-boundary detector for UnboundedAllocation (Task #25) Guix/Nix Package Policy #159: Commit e199ef3 pushed by hyperpolymath
9s main
main
9s
fix(bounds): .take(LIMIT) on config/report/analyzer reads (batch 2/2) Guix/Nix Package Policy #158: Commit 804a25d pushed by hyperpolymath
1m 33s main
main
1m 33s
fix(bounds): .take(LIMIT) on external-input reads (batch 1/N) Guix/Nix Package Policy #157: Commit 6941ef7 pushed by hyperpolymath
11s main
main
11s
fix(assail): close CryptoMisuse self-reference FP (use code_only not … Guix/Nix Package Policy #156: Commit 4c1c128 pushed by hyperpolymath
8s main
main
8s
refactor: VQL -> VCL rename to match estate-wide convention Guix/Nix Package Policy #155: Commit 24b91b4 pushed by hyperpolymath
25s main
main
25s
fix(proofs): repair PA1 + PA2 Idris2 proofs (both were broken) Guix/Nix Package Policy #154: Commit 0abfd40 pushed by hyperpolymath
26s main
main
26s
fix(bench): repair scan_bench for drifted types (stale since ~v2.5.0) Guix/Nix Package Policy #153: Commit a63544b pushed by hyperpolymath
15s main
main
15s
feat(chapel): implement --scheduler=queue (resumable work-pull) Guix/Nix Package Policy #152: Commit 6ffc1d7 pushed by hyperpolymath
12m 27s main
main
12m 27s
ci: wire hypatia-scan.yml to query own Dependabot alerts Guix/Nix Package Policy #151: Commit 44bf52e pushed by hyperpolymath
1h 46m 16s main
main
1h 46m 16s
feat(chapel): --scheduler flag with dual-direction startup banner Guix/Nix Package Policy #150: Commit d49a209 pushed by hyperpolymath
1h 48m 55s main
main
1h 48m 55s
feat(assail): broaden #[cfg(test)] mod strip; recognise .take() as re… Guix/Nix Package Policy #149: Commit 30132b6 pushed by hyperpolymath
1h 59m 50s main
main
1h 59m 50s
chore: estate-wide chore + stale-path sweep (2026-04-17) Guix/Nix Package Policy #148: Commit 91eb25b pushed by hyperpolymath
1h 52m 46s main
main
1h 52m 46s
feat(assail): strip #[cfg(test)] mod bodies before Rust keyword scan Guix/Nix Package Policy #147: Commit 9eda513 pushed by hyperpolymath
1h 41m 1s main
main
1h 41m 1s
fix(assail): tighten UnboundedAllocation Rust heuristic (72→6 on 007) Guix/Nix Package Policy #146: Commit 317a0e9 pushed by hyperpolymath
22s main
main
22s
feat(assail): JIT-aware classification for mem::transmute (Rust) Guix/Nix Package Policy #145: Commit 72e96a7 pushed by hyperpolymath
4m 49s main
main
4m 49s