Skip to content

Actions: hyperpolymath/panic-attack

Actions

Mirror to Git Forges

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
mirror.yml
310 workflow runs
310 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 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
feat(v3.0.0): Chapel→VeriSimDB HTTP push via panic-attack verisim-pus… Mirror to Git Forges #243: Commit 62c98cc pushed by hyperpolymath
5m 17s main
main
5m 17s
feat(jit_context): v2.5.5 JIT-framework classifier (Cranelift/LLVM/Wa… Mirror to Git Forges #242: Commit f0b6463 pushed by hyperpolymath
4m 45s main
main
4m 45s
feat(comment_marker): v2.5.5 inline 'panic-attack: accepted' suppress… Mirror to Git Forges #241: Commit 7d633e3 pushed by hyperpolymath
3m 29s main
main
3m 29s
docs(proof): PROOF-PROGRAMME.md — first-principles 3-layer landscape … Mirror to Git Forges #240: Commit 016dd53 pushed by hyperpolymath
3m 15s main
main
3m 15s
chore(license): PMPL → MPL-2.0 sweep (1 files) (#103) Mirror to Git Forges #239: Commit 3014a51 pushed by hyperpolymath
4m 14s main
main
4m 14s
feat(test_context): v2.5.5 cross-language test detection + WeakPoint … Mirror to Git Forges #238: Commit 7cddf58 pushed by hyperpolymath
3m 16s main
main
3m 16s
docs(truthfulness): test count + Fly toml + 500+ claim + chapel-perf … Mirror to Git Forges #237: Commit 55a094c pushed by hyperpolymath
18m 59s main
main
18m 59s
feat(chapel): Wave 2 — chapel-multilocale gate (-nl 2 via gasnet+smp,… Mirror to Git Forges #236: Commit fa122c7 pushed by hyperpolymath
3m 17s main
main
3m 17s