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
feat(safe_path): port proven SafePath as pure-Rust + add traversal gu… E2E + Readiness + Bench #163: Commit 2dc1393 pushed by hyperpolymath
15m 44s main
main
15m 44s
proofs(Layer 1.0): close slash-slash inductive case via mutual recurs… E2E + Readiness + Bench #162: Commit 833f394 pushed by hyperpolymath
12s main
main
12s
release(v2.5.5): tag the 11-PR context-awareness cohort (#118) E2E + Readiness + Bench #161: Commit d5f3a4f pushed by hyperpolymath
6s main
main
6s
feat(safe_path): port proven SafePath as pure-Rust + add traversal guard (#115) E2E + Readiness + Bench #160: Pull request #120 opened by hyperpolymath
12m 22s feat/proven-safepath-port
feat/proven-safepath-port
12m 22s
proofs(Layer 1.0): close slash-slash inductive case via mutual recursion (#113) E2E + Readiness + Bench #159: Pull request #119 opened by hyperpolymath
15m 9s proofs/layer-1-0-slash-slash-closure
proofs/layer-1-0-slash-slash-closure
15m 9s
release(v2.5.5): tag the 11-PR context-awareness cohort E2E + Readiness + Bench #158: Pull request #118 opened by hyperpolymath
15m 38s release/v2.5.5
release/v2.5.5
15m 38s
docs(closeout): v2.5.5 cohort + v3.0.0 verisim-push + PROOF-PROGRAMME… E2E + Readiness + Bench #157: Commit 2fc73bd pushed by hyperpolymath
10m 35s main
main
10m 35s
docs(closeout): v2.5.5 cohort + v3.0.0 verisim-push + PROOF-PROGRAMME comprehensive close-out E2E + Readiness + Bench #156: Pull request #112 opened by hyperpolymath
14m 7s docs/v2.5.5-comprehensive-closeout
docs/v2.5.5-comprehensive-closeout
14m 7s
proofs(Layer 1.0): Idris2 stripping foundation — base cases + shape l… E2E + Readiness + Bench #155: Commit ad1faf6 pushed by hyperpolymath
3m 25s main
main
3m 25s
feat(suppression): v2.5.5 Phase 2 — analyzer wire-up (#110) E2E + Readiness + Bench #154: Commit ad72e06 pushed by hyperpolymath
2m 18s main
main
2m 18s
proofs(Layer 1.0): Idris2 stripping foundation — base cases + shape lemma E2E + Readiness + Bench #153: Pull request #111 opened by hyperpolymath
2m 40s proofs/layer-1-0-strip-idempotence
proofs/layer-1-0-strip-idempotence
2m 40s
feat(suppression): v2.5.5 Phase 2 — analyzer wire-up E2E + Readiness + Bench #152: Pull request #110 opened by hyperpolymath
3m 2s feat/v2.5.5-phase-2-wire-up
feat/v2.5.5-phase-2-wire-up
3m 2s
feat(ffi_kind): v2.5.5 FFI subtyping (BuildSystem / RuntimeAbi / Test… E2E + Readiness + Bench #151: Commit d25210d pushed by hyperpolymath
5m 38s main
main
5m 38s
feat(ffi_kind): v2.5.5 FFI subtyping (BuildSystem / RuntimeAbi / TestMock) E2E + Readiness + Bench #150: Pull request #106 synchronize by hyperpolymath
3m 23s feat/v2.5.5-ffi-refinement
feat/v2.5.5-ffi-refinement
3m 23s
feat(v3.0.0): Chapel→VeriSimDB HTTP push via panic-attack verisim-pus… E2E + Readiness + Bench #149: Commit 62c98cc pushed by hyperpolymath
3m 55s main
main
3m 55s
feat(v3.0.0): Chapel→VeriSimDB HTTP push via panic-attack verisim-push E2E + Readiness + Bench #148: Pull request #108 opened by hyperpolymath
14m 27s feat/v3.0.0-chapel-verisim-push
feat/v3.0.0-chapel-verisim-push
14m 27s
feat(jit_context): v2.5.5 JIT-framework classifier (Cranelift/LLVM/Wa… E2E + Readiness + Bench #147: Commit f0b6463 pushed by hyperpolymath
4m 8s main
main
4m 8s
feat(jit_context): v2.5.5 JIT-framework classifier (Cranelift/LLVM/Wasm/JS) E2E + Readiness + Bench #146: Pull request #107 opened by hyperpolymath
3m 24s feat/v2.5.5-jit-context
feat/v2.5.5-jit-context
3m 24s
feat(comment_marker): v2.5.5 inline 'panic-attack: accepted' suppress… E2E + Readiness + Bench #145: Commit 7d633e3 pushed by hyperpolymath
2m 41s main
main
2m 41s
feat(comment_marker): v2.5.5 inline 'panic-attack: accepted' suppression E2E + Readiness + Bench #144: Pull request #105 opened by hyperpolymath
2m 40s feat/v2.5.5-comment-analysis
feat/v2.5.5-comment-analysis
2m 40s
feat(test_context): v2.5.5 cross-language test detection + WeakPoint … E2E + Readiness + Bench #143: Commit 7cddf58 pushed by hyperpolymath
3m 3s main
main
3m 3s
feat(test_context): v2.5.5 cross-language test detection + WeakPoint field E2E + Readiness + Bench #142: Pull request #102 opened by hyperpolymath
2m 59s feat/v2.5.5-test-context
feat/v2.5.5-test-context
2m 59s
fix: clear 3 baseline-red required checks at source (Dogfood Gate A2M… E2E + Readiness + Bench #141: Commit 62528c6 pushed by hyperpolymath
5m 28s main
main
5m 28s
fix: clear 3 baseline-red required checks at source (Dogfood Gate A2ML / Governance Trusted-base / Secret Scanner rust-secrets) E2E + Readiness + Bench #140: Pull request #94 synchronize by hyperpolymath
5m 45s fix/baseline-red-corrective-maintenance
fix/baseline-red-corrective-maintenance
5m 45s
fix: clear 3 baseline-red required checks at source (Dogfood Gate A2ML / Governance Trusted-base / Secret Scanner rust-secrets) E2E + Readiness + Bench #139: Pull request #94 synchronize by hyperpolymath
2m 49s fix/baseline-red-corrective-maintenance
fix/baseline-red-corrective-maintenance
2m 49s