Skip to content

Actions: hyperpolymath/panic-attack

Actions

OpenSSF Scorecard Enforcer

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
scorecard-enforcer.yml
227 workflow runs
227 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
OpenSSF Scorecard Enforcer OpenSSF Scorecard Enforcer #227: Scheduled
44s main
main
44s
proofs: attestation unforgeability (Idris2, §3.2) + contractile INDEX… OpenSSF Scorecard Enforcer #226: Commit d215986 pushed by hyperpolymath
46s main
main
46s
chore(close-out): CI hardening + hexad proof + doc accuracy + 6a2 met… OpenSSF Scorecard Enforcer #225: Commit cfc892f pushed by hyperpolymath
56s main
main
56s
feat: assay / assimilate / aggregate — proof-integration subcommands … OpenSSF Scorecard Enforcer #224: Commit 4dc4aca pushed by hyperpolymath
1m 1s main
main
1m 1s
feat(safe_path): port proven SafePath as pure-Rust + add traversal gu… OpenSSF Scorecard Enforcer #223: Commit 2dc1393 pushed by hyperpolymath
10m 18s main
main
10m 18s
proofs(Layer 1.0): close slash-slash inductive case via mutual recurs… OpenSSF Scorecard Enforcer #222: Commit 833f394 pushed by hyperpolymath
9s main
main
9s
release(v2.5.5): tag the 11-PR context-awareness cohort (#118) OpenSSF Scorecard Enforcer #221: Commit d5f3a4f pushed by hyperpolymath
6s main
main
6s
docs(closeout): v2.5.5 cohort + v3.0.0 verisim-push + PROOF-PROGRAMME… OpenSSF Scorecard Enforcer #220: Commit 2fc73bd pushed by hyperpolymath
8m 11s main
main
8m 11s
proofs(Layer 1.0): Idris2 stripping foundation — base cases + shape l… OpenSSF Scorecard Enforcer #219: Commit ad1faf6 pushed by hyperpolymath
53s main
main
53s
feat(suppression): v2.5.5 Phase 2 — analyzer wire-up (#110) OpenSSF Scorecard Enforcer #218: Commit ad72e06 pushed by hyperpolymath
48s main
main
48s
ci(codeql): cron weekly→monthly (cut 3, standards#288) (#109) OpenSSF Scorecard Enforcer #217: Commit 600bf51 pushed by hyperpolymath
50s main
main
50s
feat(ffi_kind): v2.5.5 FFI subtyping (BuildSystem / RuntimeAbi / Test… OpenSSF Scorecard Enforcer #216: Commit d25210d pushed by hyperpolymath
2m 21s main
main
2m 21s
feat(v3.0.0): Chapel→VeriSimDB HTTP push via panic-attack verisim-pus… OpenSSF Scorecard Enforcer #215: Commit 62c98cc pushed by hyperpolymath
1m 59s main
main
1m 59s
feat(jit_context): v2.5.5 JIT-framework classifier (Cranelift/LLVM/Wa… OpenSSF Scorecard Enforcer #214: Commit f0b6463 pushed by hyperpolymath
2m 49s main
main
2m 49s
feat(comment_marker): v2.5.5 inline 'panic-attack: accepted' suppress… OpenSSF Scorecard Enforcer #213: Commit 7d633e3 pushed by hyperpolymath
50s main
main
50s
docs(proof): PROOF-PROGRAMME.md — first-principles 3-layer landscape … OpenSSF Scorecard Enforcer #212: Commit 016dd53 pushed by hyperpolymath
58s main
main
58s
chore(license): PMPL → MPL-2.0 sweep (1 files) (#103) OpenSSF Scorecard Enforcer #211: Commit 3014a51 pushed by hyperpolymath
1m 58s main
main
1m 58s
feat(test_context): v2.5.5 cross-language test detection + WeakPoint … OpenSSF Scorecard Enforcer #210: Commit 7cddf58 pushed by hyperpolymath
59s main
main
59s
docs(truthfulness): test count + Fly toml + 500+ claim + chapel-perf … OpenSSF Scorecard Enforcer #209: Commit 55a094c pushed by hyperpolymath
13m 31s main
main
13m 31s
feat(chapel): Wave 2 — chapel-multilocale gate (-nl 2 via gasnet+smp,… OpenSSF Scorecard Enforcer #208: Commit fa122c7 pushed by hyperpolymath
43s main
main
43s
docs+manifest: record 2026-06-01 cleanup + tidy stale identity drift … OpenSSF Scorecard Enforcer #207: Commit 4c8b800 pushed by hyperpolymath
2h 38m 28s main
main
2h 38m 28s
fix: instantiate rsr-template placeholders left generic from scaffold… OpenSSF Scorecard Enforcer #206: Commit aead2ad pushed by hyperpolymath
14m 49s main
main
14m 49s
fix(ci): bump rust-ci-reusable SHA past standards#334 fix (recover ru… OpenSSF Scorecard Enforcer #205: Commit 0707f3e pushed by hyperpolymath
1m 9s main
main
1m 9s
chore(deps): bump the rust-minor group with 2 updates (#93) OpenSSF Scorecard Enforcer #204: Commit 1de4bd4 pushed by hyperpolymath
2m 50s main
main
2m 50s
fix: clear 3 baseline-red required checks at source (Dogfood Gate A2M… OpenSSF Scorecard Enforcer #203: Commit 62528c6 pushed by hyperpolymath
1m 22s main
main
1m 22s