Skip to content

Actions: hyperpolymath/panic-attack

Actions

Code Coverage

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
coverage.yml
524 workflow runs
524 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
proofs(Layer 1.0): close slash-slash inductive case via mutual recurs… Code Coverage #401: Commit 833f394 pushed by hyperpolymath
14m 8s main
main
14m 8s
release(v2.5.5): tag the 11-PR context-awareness cohort (#118) Code Coverage #400: Commit d5f3a4f pushed by hyperpolymath
14m 22s main
main
14m 22s
feat(safe_path): port proven SafePath as pure-Rust + add traversal guard (#115) Code Coverage #399: Pull request #120 opened by hyperpolymath
13m 46s feat/proven-safepath-port
feat/proven-safepath-port
13m 46s
proofs(Layer 1.0): close slash-slash inductive case via mutual recursion (#113) Code Coverage #398: Pull request #119 opened by hyperpolymath
16m 26s proofs/layer-1-0-slash-slash-closure
proofs/layer-1-0-slash-slash-closure
16m 26s
release(v2.5.5): tag the 11-PR context-awareness cohort Code Coverage #397: Pull request #118 opened by hyperpolymath
13m 0s release/v2.5.5
release/v2.5.5
13m 0s
docs(closeout): v2.5.5 cohort + v3.0.0 verisim-push + PROOF-PROGRAMME… Code Coverage #396: Commit 2fc73bd pushed by hyperpolymath
9m 59s main
main
9m 59s
docs(closeout): v2.5.5 cohort + v3.0.0 verisim-push + PROOF-PROGRAMME comprehensive close-out Code Coverage #395: Pull request #112 opened by hyperpolymath
15m 43s docs/v2.5.5-comprehensive-closeout
docs/v2.5.5-comprehensive-closeout
15m 43s
proofs(Layer 1.0): Idris2 stripping foundation — base cases + shape l… Code Coverage #394: Commit ad1faf6 pushed by hyperpolymath
3m 33s main
main
3m 33s
feat(suppression): v2.5.5 Phase 2 — analyzer wire-up (#110) Code Coverage #393: Commit ad72e06 pushed by hyperpolymath
3m 19s main
main
3m 19s
proofs(Layer 1.0): Idris2 stripping foundation — base cases + shape lemma Code Coverage #392: Pull request #111 opened by hyperpolymath
3m 38s proofs/layer-1-0-strip-idempotence
proofs/layer-1-0-strip-idempotence
3m 38s
feat(suppression): v2.5.5 Phase 2 — analyzer wire-up Code Coverage #391: Pull request #110 opened by hyperpolymath
3m 22s feat/v2.5.5-phase-2-wire-up
feat/v2.5.5-phase-2-wire-up
3m 22s
ci(codeql): cron weekly→monthly (cut 3, standards#288) (#109) Code Coverage #390: Commit 600bf51 pushed by hyperpolymath
3m 29s main
main
3m 29s
ci(codeql): cron weekly→monthly (cut 3, standards#288) Code Coverage #389: Pull request #109 opened by hyperpolymath
3m 33s cicd/codeql-cron-monthly
cicd/codeql-cron-monthly
3m 33s
feat(ffi_kind): v2.5.5 FFI subtyping (BuildSystem / RuntimeAbi / Test… Code Coverage #388: Commit d25210d pushed by hyperpolymath
5m 10s main
main
5m 10s
feat(ffi_kind): v2.5.5 FFI subtyping (BuildSystem / RuntimeAbi / TestMock) Code Coverage #387: Pull request #106 synchronize by hyperpolymath
4m 6s feat/v2.5.5-ffi-refinement
feat/v2.5.5-ffi-refinement
4m 6s
feat(v3.0.0): Chapel→VeriSimDB HTTP push via panic-attack verisim-pus… Code Coverage #386: Commit 62c98cc pushed by hyperpolymath
3m 48s main
main
3m 48s
feat(v3.0.0): Chapel→VeriSimDB HTTP push via panic-attack verisim-push Code Coverage #385: Pull request #108 opened by hyperpolymath
14m 26s feat/v3.0.0-chapel-verisim-push
feat/v3.0.0-chapel-verisim-push
14m 26s
feat(jit_context): v2.5.5 JIT-framework classifier (Cranelift/LLVM/Wa… Code Coverage #384: Commit f0b6463 pushed by hyperpolymath
3m 48s main
main
3m 48s
feat(jit_context): v2.5.5 JIT-framework classifier (Cranelift/LLVM/Wasm/JS) Code Coverage #383: Pull request #107 opened by hyperpolymath
3m 28s feat/v2.5.5-jit-context
feat/v2.5.5-jit-context
3m 28s
feat(comment_marker): v2.5.5 inline 'panic-attack: accepted' suppress… Code Coverage #382: Commit 7d633e3 pushed by hyperpolymath
3m 21s main
main
3m 21s
feat(comment_marker): v2.5.5 inline 'panic-attack: accepted' suppression Code Coverage #381: Pull request #105 opened by hyperpolymath
3m 28s feat/v2.5.5-comment-analysis
feat/v2.5.5-comment-analysis
3m 28s
docs(proof): PROOF-PROGRAMME.md — first-principles 3-layer landscape … Code Coverage #380: Commit 016dd53 pushed by hyperpolymath
3m 27s main
main
3m 27s
docs(proof): PROOF-PROGRAMME.md — first-principles 3-layer landscape Code Coverage #379: Pull request #104 opened by hyperpolymath
3m 19s docs/proof-programme-v2
docs/proof-programme-v2
3m 19s
chore(license): PMPL → MPL-2.0 sweep (1 files) (#103) Code Coverage #378: Commit 3014a51 pushed by hyperpolymath
4m 27s main
main
4m 27s
chore(license): PMPL → MPL-2.0 sweep (1 files) Code Coverage #377: Pull request #103 synchronize by hyperpolymath
4m 4s fix/pmpl-to-mpl-sweep
fix/pmpl-to-mpl-sweep
4m 4s