Skip to content

Actions: hyperpolymath/panic-attack

Actions

E2E + Readiness + Bench

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
e2e.yml
213 workflow runs
213 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(proofs): repair PA1 + PA2 Idris2 proofs (both were broken) E2E + Readiness + Bench #38: Commit 0abfd40 pushed by hyperpolymath
8s main
main
8s
feat(assail): broaden #[cfg(test)] mod strip; recognise .take() as re… E2E + Readiness + Bench #37: Commit 30132b6 pushed by hyperpolymath
2h 2m 44s main
main
2h 2m 44s
feat(assail): strip #[cfg(test)] mod bodies before Rust keyword scan E2E + Readiness + Bench #36: Commit 9eda513 pushed by hyperpolymath
28m 55s main
main
28m 55s
fix(assail): tighten UnboundedAllocation Rust heuristic (72→6 on 007) E2E + Readiness + Bench #35: Commit 317a0e9 pushed by hyperpolymath
3m 13s main
main
3m 13s
feat(assail): JIT-aware classification for mem::transmute (Rust) E2E + Readiness + Bench #34: Commit 72e96a7 pushed by hyperpolymath
11m 25s main
main
11m 25s
test(analyze_rust): add missing browser_extension field to test fixture E2E + Readiness + Bench #33: Commit 017fc69 pushed by hyperpolymath
20m 2s main
main
20m 2s
fix(assail): strip comments before counting unsafe/FFI patterns E2E + Readiness + Bench #32: Commit 6f18caf pushed by hyperpolymath
7m 0s main
main
7m 0s
chore: M5 CI/Workflow Sweep - final synchronisation E2E + Readiness + Bench #31: Commit 1982b3d pushed by hyperpolymath
1h 13m 40s main
main
1h 13m 40s
feat: add browser extension support E2E + Readiness + Bench #30: Commit ccd4027 pushed by hyperpolymath
2m 47s main
main
2m 47s
chore: gitignore Chapel binary E2E + Readiness + Bench #29: Commit e1c9f74 pushed by hyperpolymath
9m 39s main
main
9m 39s
feat(v2.5.0): crypto_misuse JWT sig bypass + proof_drift Coq extracti… E2E + Readiness + Bench #28: Commit 1723745 pushed by hyperpolymath
2m 42s main
main
2m 42s
feat(storage): wire VeriSimDB HTTP push via direct verisim-api E2E + Readiness + Bench #27: Commit 728688a pushed by hyperpolymath
3m 12s main
main
3m 12s
feat(v2.5.0): input_boundary (PA024) + mutation gap (PA025) E2E + Readiness + Bench #26: Commit ab89123 pushed by hyperpolymath
3m 51s main
main
3m 51s
feat(v2.5.0): crypto_misuse category — PA022 E2E + Readiness + Bench #25: Commit eb949d8 pushed by hyperpolymath
2m 49s main
main
2m 49s
chore(v2.2.0): doc sweep — 49 langs, 23 categories, stale counts cleared E2E + Readiness + Bench #24: Commit 0bba84d pushed by hyperpolymath
3m 6s main
main
3m 6s
feat(v2.5.0): proof_drift category — 49-language support, PA021 E2E + Readiness + Bench #23: Commit df61372 pushed by hyperpolymath
5m 23s main
main
5m 23s
feat(v2.1.0): wire FP suppression + remove Logtalk export E2E + Readiness + Bench #22: Commit 476efd9 pushed by hyperpolymath
3m 37s main
main
3m 37s
fix: compilation errors, deprecation warnings, and add unit tests (#17) E2E + Readiness + Bench #21: Commit fbbff87 pushed by hyperpolymath
3m 36s main
main
3m 36s
Add comprehensive test suites for panll and analyzer modules E2E + Readiness + Bench #20: Pull request #17 synchronize by hyperpolymath
3m 4s claude/analyze-repo-improvements-siFU8
claude/analyze-repo-improvements-siFU8
3m 4s
fix: compilation errors, deprecation warnings, and add unit tests E2E + Readiness + Bench #19: Commit 8134738 pushed by JoshuaJewell
2m 3s main
main
2m 3s
fix: add missing file/line fields to WeakPoint initializers (#16) E2E + Readiness + Bench #18: Commit 40b40da pushed by hyperpolymath
5m 2s main
main
5m 2s
fix: add missing file/line fields to WeakPoint initializers E2E + Readiness + Bench #17: Pull request #16 opened by hyperpolymath
3m 16s claude/debug-broken-feature-H4PmP
claude/debug-broken-feature-H4PmP
3m 16s
chore(deps): bump getrandom from 0.3.4 to 0.4.2 (#15) E2E + Readiness + Bench #16: Commit 36c7599 pushed by hyperpolymath
6m 27s main
main
6m 27s
chore(deps): bump getrandom from 0.3.4 to 0.4.2 E2E + Readiness + Bench #15: Pull request #15 opened by dependabot Bot
12m 47s dependabot/cargo/getrandom-0.4.2
dependabot/cargo/getrandom-0.4.2
12m 47s
fix: add file/line fields to WeakPoint for GitHub Actions annotations… E2E + Readiness + Bench #14: Commit 3154217 pushed by hyperpolymath
28m 21s main
main
28m 21s