Skip to content

Actions: hyperpolymath/panic-attack

Actions

OSSF Scorecard

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
scorecard.yml
350 workflow runs
350 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… OSSF Scorecard #275: Commit 2dc1393 pushed by hyperpolymath
4s main
main
4s
proofs(Layer 1.0): close slash-slash inductive case via mutual recurs… OSSF Scorecard #274: Commit 833f394 pushed by hyperpolymath
3s main
main
3s
release(v2.5.5): tag the 11-PR context-awareness cohort (#118) OSSF Scorecard #273: Commit d5f3a4f pushed by hyperpolymath
2s main
main
2s
docs(closeout): v2.5.5 cohort + v3.0.0 verisim-push + PROOF-PROGRAMME… OSSF Scorecard #272: Commit 2fc73bd pushed by hyperpolymath
4s main
main
4s
proofs(Layer 1.0): Idris2 stripping foundation — base cases + shape l… OSSF Scorecard #271: Commit ad1faf6 pushed by hyperpolymath
5s main
main
5s
feat(suppression): v2.5.5 Phase 2 — analyzer wire-up (#110) OSSF Scorecard #270: Commit ad72e06 pushed by hyperpolymath
3s main
main
3s
ci(codeql): cron weekly→monthly (cut 3, standards#288) (#109) OSSF Scorecard #269: Commit 600bf51 pushed by hyperpolymath
3s main
main
3s
feat(ffi_kind): v2.5.5 FFI subtyping (BuildSystem / RuntimeAbi / Test… OSSF Scorecard #268: Commit d25210d pushed by hyperpolymath
4s main
main
4s
feat(v3.0.0): Chapel→VeriSimDB HTTP push via panic-attack verisim-pus… OSSF Scorecard #267: Commit 62c98cc pushed by hyperpolymath
3s main
main
3s
feat(jit_context): v2.5.5 JIT-framework classifier (Cranelift/LLVM/Wa… OSSF Scorecard #266: Commit f0b6463 pushed by hyperpolymath
7s main
main
7s
feat(comment_marker): v2.5.5 inline 'panic-attack: accepted' suppress… OSSF Scorecard #265: Commit 7d633e3 pushed by hyperpolymath
4s main
main
4s
docs(proof): PROOF-PROGRAMME.md — first-principles 3-layer landscape … OSSF Scorecard #264: Commit 016dd53 pushed by hyperpolymath
2s main
main
2s
chore(license): PMPL → MPL-2.0 sweep (1 files) (#103) OSSF Scorecard #263: Commit 3014a51 pushed by hyperpolymath
2s main
main
2s
feat(test_context): v2.5.5 cross-language test detection + WeakPoint … OSSF Scorecard #262: Commit 7cddf58 pushed by hyperpolymath
1s main
main
1s
docs(truthfulness): test count + Fly toml + 500+ claim + chapel-perf … OSSF Scorecard #261: Commit 55a094c pushed by hyperpolymath
1s main
main
1s
feat(chapel): Wave 2 — chapel-multilocale gate (-nl 2 via gasnet+smp,… OSSF Scorecard #260: Commit fa122c7 pushed by hyperpolymath
1s main
main
1s
docs+manifest: record 2026-06-01 cleanup + tidy stale identity drift … OSSF Scorecard #259: Commit 4c8b800 pushed by hyperpolymath
1s main
main
1s
fix: instantiate rsr-template placeholders left generic from scaffold… OSSF Scorecard #258: Commit aead2ad pushed by hyperpolymath
1s main
main
1s
fix(ci): bump rust-ci-reusable SHA past standards#334 fix (recover ru… OSSF Scorecard #257: Commit 0707f3e pushed by hyperpolymath
1s main
main
1s
chore(deps): bump the rust-minor group with 2 updates (#93) OSSF Scorecard #256: Commit 1de4bd4 pushed by hyperpolymath
1s main
main
1s
fix: clear 3 baseline-red required checks at source (Dogfood Gate A2M… OSSF Scorecard #255: Commit 62528c6 pushed by hyperpolymath
1s main
main
1s
OSSF Scorecard OSSF Scorecard #254: Scheduled
1s main
main
1s
docs: wrap up issue #33 closure — consolidate CHANGELOG + sync CLAUDE… OSSF Scorecard #253: Commit edbfcff pushed by hyperpolymath
Startup failure main
main
Startup failure
chore(fmt): apply rustfmt drift cleanup (#89) OSSF Scorecard #252: Commit 1a5fbc3 pushed by hyperpolymath
1s main
main
1s
feat(query): accept issue #33 literal examples — diff head + inline k… OSSF Scorecard #251: Commit 3f8400f pushed by hyperpolymath
1s main
main
1s