Skip to content

Actions: hyperpolymath/panic-attack

Actions

Scorecards supply-chain security

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
scorecard.yml
284 workflow runs
284 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 Scorecards supply-chain security #284: Commit 3f7d0bb pushed by hyperpolymath
1s main
main
1s
fix(assail): UnboundedAllocation is Medium, not Critical Scorecards supply-chain security #283: Commit b8dbfa6 pushed by hyperpolymath
Failure claude/unbounded-allocation-severity
claude/unbounded-allocation-severity
Failure
chore(deps): bump the rust-minor group with 2 updates (#126) Scorecards supply-chain security #282: Commit 6a814fa pushed by hyperpolymath
1s main
main
1s
ci: wire the merge-orchestration CVE/bump gate (bridge-gate.yml) (#127) Scorecards supply-chain security #281: Commit 2576c19 pushed by hyperpolymath
Startup failure main
main
Startup failure
Scorecards supply-chain security Scorecards supply-chain security #280: Scheduled
1s main
main
1s
Apply estate standardization: governance docs, contractiles, CI/CD cl… Scorecards supply-chain security #279: Commit 0b87081 pushed by hyperpolymath
Failure fix/rust-ci-repin-822fa14e
fix/rust-ci-repin-822fa14e
Failure
proofs: attestation unforgeability (Idris2, §3.2) + contractile INDEX… Scorecards supply-chain security #278: Commit d215986 pushed by hyperpolymath
2s main
main
2s
chore(close-out): CI hardening + hexad proof + doc accuracy + 6a2 met… Scorecards supply-chain security #277: Commit cfc892f pushed by hyperpolymath
2s main
main
2s
feat: assay / assimilate / aggregate — proof-integration subcommands … Scorecards supply-chain security #276: Commit 4dc4aca pushed by hyperpolymath
2s main
main
2s
feat(safe_path): port proven SafePath as pure-Rust + add traversal gu… Scorecards supply-chain security #275: Commit 2dc1393 pushed by hyperpolymath
4s main
main
4s
proofs(Layer 1.0): close slash-slash inductive case via mutual recurs… Scorecards supply-chain security #274: Commit 833f394 pushed by hyperpolymath
3s main
main
3s
release(v2.5.5): tag the 11-PR context-awareness cohort (#118) Scorecards supply-chain security #273: Commit d5f3a4f pushed by hyperpolymath
2s main
main
2s
docs(closeout): v2.5.5 cohort + v3.0.0 verisim-push + PROOF-PROGRAMME… Scorecards supply-chain security #272: Commit 2fc73bd pushed by hyperpolymath
4s main
main
4s
proofs(Layer 1.0): Idris2 stripping foundation — base cases + shape l… Scorecards supply-chain security #271: Commit ad1faf6 pushed by hyperpolymath
5s main
main
5s
feat(suppression): v2.5.5 Phase 2 — analyzer wire-up (#110) Scorecards supply-chain security #270: Commit ad72e06 pushed by hyperpolymath
3s main
main
3s
ci(codeql): cron weekly→monthly (cut 3, standards#288) (#109) Scorecards supply-chain security #269: Commit 600bf51 pushed by hyperpolymath
3s main
main
3s
feat(ffi_kind): v2.5.5 FFI subtyping (BuildSystem / RuntimeAbi / Test… Scorecards supply-chain security #268: Commit d25210d pushed by hyperpolymath
4s main
main
4s
feat(v3.0.0): Chapel→VeriSimDB HTTP push via panic-attack verisim-pus… Scorecards supply-chain security #267: Commit 62c98cc pushed by hyperpolymath
3s main
main
3s
feat(jit_context): v2.5.5 JIT-framework classifier (Cranelift/LLVM/Wa… Scorecards supply-chain security #266: Commit f0b6463 pushed by hyperpolymath
7s main
main
7s
feat(comment_marker): v2.5.5 inline 'panic-attack: accepted' suppress… Scorecards supply-chain security #265: Commit 7d633e3 pushed by hyperpolymath
4s main
main
4s
docs(proof): PROOF-PROGRAMME.md — first-principles 3-layer landscape … Scorecards supply-chain security #264: Commit 016dd53 pushed by hyperpolymath
2s main
main
2s
chore(license): PMPL → MPL-2.0 sweep (1 files) (#103) Scorecards supply-chain security #263: Commit 3014a51 pushed by hyperpolymath
2s main
main
2s
feat(test_context): v2.5.5 cross-language test detection + WeakPoint … Scorecards supply-chain security #262: Commit 7cddf58 pushed by hyperpolymath
1s main
main
1s
docs(truthfulness): test count + Fly toml + 500+ claim + chapel-perf … Scorecards supply-chain security #261: Commit 55a094c pushed by hyperpolymath
1s main
main
1s
feat(chapel): Wave 2 — chapel-multilocale gate (-nl 2 via gasnet+smp,… Scorecards supply-chain security #260: Commit fa122c7 pushed by hyperpolymath
1s main
main
1s