Skip to content

Actions: hyperpolymath/panic-attack

Actions

Code Coverage

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
coverage.yml
537 workflow runs
537 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(assail): UnboundedAllocation is Medium, not Critical Code Coverage #414: Pull request #130 opened by hyperpolymath
4m 52s claude/unbounded-severity-v2
claude/unbounded-severity-v2
4m 52s
chore(deps): bump regex from 1.12.3 to 1.12.4 in the rust-minor group Code Coverage #413: Pull request #129 opened by dependabot Bot
4m 52s dependabot/cargo/rust-minor-acc80fea4c
dependabot/cargo/rust-minor-acc80fea4c
4m 52s
chore(deps): bump the rust-minor group with 2 updates (#126) Code Coverage #412: Commit 6a814fa pushed by hyperpolymath
4m 43s main
main
4m 43s
ci: wire the merge-orchestration CVE/bump gate (bridge-gate.yml) (#127) Code Coverage #411: Commit 2576c19 pushed by hyperpolymath
3m 6s main
main
3m 6s
ci: wire the merge-orchestration CVE/bump gate (bridge-gate.yml) Code Coverage #410: Pull request #127 opened by hyperpolymath
5m 7s claude/peaceful-pascal-IRlgq
claude/peaceful-pascal-IRlgq
5m 7s
chore(deps): bump the rust-minor group with 2 updates Code Coverage #409: Pull request #126 opened by dependabot Bot
4m 55s dependabot/cargo/rust-minor-8b557c6638
dependabot/cargo/rust-minor-8b557c6638
4m 55s
proofs: attestation unforgeability (Idris2, §3.2) + contractile INDEX… Code Coverage #408: Commit d215986 pushed by hyperpolymath
5m 18s main
main
5m 18s
proofs: attestation unforgeability (Idris2, §3.2) + contractile INDEX registry Code Coverage #407: Pull request #125 opened by hyperpolymath
4m 43s claude/upbeat-thompson-hb26c
claude/upbeat-thompson-hb26c
4m 43s
chore(close-out): CI hardening + hexad proof + doc accuracy + 6a2 met… Code Coverage #406: Commit cfc892f pushed by hyperpolymath
4m 50s main
main
4m 50s
chore(close-out): CI hardening + hexad proof + doc accuracy + 6a2 metadata Code Coverage #405: Pull request #122 opened by hyperpolymath
4m 51s claude/upbeat-thompson-hb26c
claude/upbeat-thompson-hb26c
4m 51s
feat: assay / assimilate / aggregate — proof-integration subcommands … Code Coverage #404: Commit 4dc4aca pushed by hyperpolymath
4m 43s main
main
4m 43s
feat: assay / assimilate / aggregate — proof-integration subcommands Code Coverage #403: Pull request #121 opened by hyperpolymath
4m 47s claude/upbeat-thompson-hb26c
claude/upbeat-thompson-hb26c
4m 47s
feat(safe_path): port proven SafePath as pure-Rust + add traversal gu… Code Coverage #402: Commit 2dc1393 pushed by hyperpolymath
15m 49s main
main
15m 49s
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