Skip to content

Actions: hyperpolymath/panic-attack

Actions

Mirror to Git Forges

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
mirror.yml
293 workflow runs
293 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
chore(nix->guix): remove flake.nix (Guix-only) (#140) Mirror to Git Forges #268: Commit 3cffe67 pushed by hyperpolymath
5m 48s main
main
5m 48s
test(aggregate): ideal Idris2 proof fixture + end-to-end fold test (#… Mirror to Git Forges #267: Commit 826d541 pushed by hyperpolymath
4m 57s main
main
4m 57s
docs: complete audience→axial rename drift in man page + docs (#137) Mirror to Git Forges #266: Commit 0d89586 pushed by hyperpolymath
3m 49s main
main
3m 49s
Claude/unbounded severity v2 (#135) Mirror to Git Forges #265: Commit b26acb0 pushed by hyperpolymath
3m 15s main
main
3m 15s
chore(deps): bump the rust-minor group across 1 directory with 2 upda… Mirror to Git Forges #264: Commit 3155768 pushed by hyperpolymath
4m 19s main
main
4m 19s
fix(assail): null-check-aware UncheckedAllocation + precise eval dete… Mirror to Git Forges #263: Commit 60d9219 pushed by hyperpolymath
3m 18s main
main
3m 18s
chore: retire local issue/discussion templates -> inherit org .github… Mirror to Git Forges #262: Commit 926c507 pushed by hyperpolymath
24m 12s main
main
24m 12s
Remove duplicate OpenSSF Scorecard workflow (scorecard-enforcer.yml) … Mirror to Git Forges #261: Commit 549234d pushed by hyperpolymath
3m 17s main
main
3m 17s
Fix broken bench: add missing test_context field to WeakPoint literal… Mirror to Git Forges #260: Commit 36db570 pushed by hyperpolymath
3m 22s main
main
3m 22s
fix(assail): UnboundedAllocation is Medium, not Critical Mirror to Git Forges #259: Commit 3f7d0bb pushed by hyperpolymath
3m 11s main
main
3m 11s
fix(assail): UnboundedAllocation is Medium, not Critical Mirror to Git Forges #258: 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) Mirror to Git Forges #257: Commit 6a814fa pushed by hyperpolymath
3m 12s main
main
3m 12s
ci: wire the merge-orchestration CVE/bump gate (bridge-gate.yml) (#127) Mirror to Git Forges #256: Commit 2576c19 pushed by hyperpolymath
3m 24s main
main
3m 24s
Apply estate standardization: governance docs, contractiles, CI/CD cl… Mirror to Git Forges #255: 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… Mirror to Git Forges #254: Commit d215986 pushed by hyperpolymath
3m 13s main
main
3m 13s
chore(close-out): CI hardening + hexad proof + doc accuracy + 6a2 met… Mirror to Git Forges #253: Commit cfc892f pushed by hyperpolymath
3m 23s main
main
3m 23s
feat: assay / assimilate / aggregate — proof-integration subcommands … Mirror to Git Forges #252: Commit 4dc4aca pushed by hyperpolymath
3m 17s main
main
3m 17s
feat(safe_path): port proven SafePath as pure-Rust + add traversal gu… Mirror to Git Forges #251: Commit 2dc1393 pushed by hyperpolymath
18m 23s main
main
18m 23s
proofs(Layer 1.0): close slash-slash inductive case via mutual recurs… Mirror to Git Forges #250: Commit 833f394 pushed by hyperpolymath
14m 43s main
main
14m 43s
release(v2.5.5): tag the 11-PR context-awareness cohort (#118) Mirror to Git Forges #249: Commit d5f3a4f pushed by hyperpolymath
13m 16s main
main
13m 16s
docs(closeout): v2.5.5 cohort + v3.0.0 verisim-push + PROOF-PROGRAMME… Mirror to Git Forges #248: Commit 2fc73bd pushed by hyperpolymath
10m 50s main
main
10m 50s
proofs(Layer 1.0): Idris2 stripping foundation — base cases + shape l… Mirror to Git Forges #247: Commit ad1faf6 pushed by hyperpolymath
3m 44s main
main
3m 44s
feat(suppression): v2.5.5 Phase 2 — analyzer wire-up (#110) Mirror to Git Forges #246: Commit ad72e06 pushed by hyperpolymath
3m 21s main
main
3m 21s
ci(codeql): cron weekly→monthly (cut 3, standards#288) (#109) Mirror to Git Forges #245: Commit 600bf51 pushed by hyperpolymath
3m 22s main
main
3m 22s
feat(ffi_kind): v2.5.5 FFI subtyping (BuildSystem / RuntimeAbi / Test… Mirror to Git Forges #244: Commit d25210d pushed by hyperpolymath
4m 19s main
main
4m 19s