Skip to content

Actions: hyperpolymath/panic-attack

Actions

Instant Sync

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
instant-sync.yml
This workflow was disabled manually.
248 workflow runs
248 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
Claude/unbounded severity v2 (#135) Instant Sync #223: Commit b26acb0 pushed by hyperpolymath
11s main
main
11s
chore(deps): bump the rust-minor group across 1 directory with 2 upda… Instant Sync #222: Commit 3155768 pushed by hyperpolymath
53s main
main
53s
fix(assail): null-check-aware UncheckedAllocation + precise eval dete… Instant Sync #221: Commit 60d9219 pushed by hyperpolymath
6s main
main
6s
chore: retire local issue/discussion templates -> inherit org .github… Instant Sync #220: Commit 926c507 pushed by hyperpolymath
19m 14s main
main
19m 14s
Remove duplicate OpenSSF Scorecard workflow (scorecard-enforcer.yml) … Instant Sync #219: Commit 549234d pushed by hyperpolymath
9s main
main
9s
Fix broken bench: add missing test_context field to WeakPoint literal… Instant Sync #218: Commit 36db570 pushed by hyperpolymath
6s main
main
6s
fix(assail): UnboundedAllocation is Medium, not Critical Instant Sync #217: Commit 3f7d0bb pushed by hyperpolymath
13s main
main
13s
chore(deps): bump the rust-minor group with 2 updates (#126) Instant Sync #216: Commit 6a814fa pushed by hyperpolymath
7s main
main
7s
ci: wire the merge-orchestration CVE/bump gate (bridge-gate.yml) (#127) Instant Sync #215: Commit 2576c19 pushed by hyperpolymath
14s main
main
14s
proofs: attestation unforgeability (Idris2, §3.2) + contractile INDEX… Instant Sync #214: Commit d215986 pushed by hyperpolymath
8s main
main
8s
chore(close-out): CI hardening + hexad proof + doc accuracy + 6a2 met… Instant Sync #213: Commit cfc892f pushed by hyperpolymath
10s main
main
10s
feat: assay / assimilate / aggregate — proof-integration subcommands … Instant Sync #212: Commit 4dc4aca pushed by hyperpolymath
9s main
main
9s
feat(safe_path): port proven SafePath as pure-Rust + add traversal gu… Instant Sync #211: Commit 2dc1393 pushed by hyperpolymath
10m 14s main
main
10m 14s
proofs(Layer 1.0): close slash-slash inductive case via mutual recurs… Instant Sync #210: Commit 833f394 pushed by hyperpolymath
10m 0s main
main
10m 0s
release(v2.5.5): tag the 11-PR context-awareness cohort (#118) Instant Sync #209: Commit d5f3a4f pushed by hyperpolymath
10m 4s main
main
10m 4s
docs(closeout): v2.5.5 cohort + v3.0.0 verisim-push + PROOF-PROGRAMME… Instant Sync #208: Commit 2fc73bd pushed by hyperpolymath
9m 17s main
main
9m 17s
proofs(Layer 1.0): Idris2 stripping foundation — base cases + shape l… Instant Sync #207: Commit ad1faf6 pushed by hyperpolymath
26s main
main
26s
feat(suppression): v2.5.5 Phase 2 — analyzer wire-up (#110) Instant Sync #206: Commit ad72e06 pushed by hyperpolymath
8s main
main
8s
ci(codeql): cron weekly→monthly (cut 3, standards#288) (#109) Instant Sync #205: Commit 600bf51 pushed by hyperpolymath
12s main
main
12s
feat(ffi_kind): v2.5.5 FFI subtyping (BuildSystem / RuntimeAbi / Test… Instant Sync #204: Commit d25210d pushed by hyperpolymath
18s main
main
18s
feat(v3.0.0): Chapel→VeriSimDB HTTP push via panic-attack verisim-pus… Instant Sync #203: Commit 62c98cc pushed by hyperpolymath
1m 10s main
main
1m 10s
feat(jit_context): v2.5.5 JIT-framework classifier (Cranelift/LLVM/Wa… Instant Sync #202: Commit f0b6463 pushed by hyperpolymath
3m 24s main
main
3m 24s
feat(comment_marker): v2.5.5 inline 'panic-attack: accepted' suppress… Instant Sync #201: Commit 7d633e3 pushed by hyperpolymath
9s main
main
9s
docs(proof): PROOF-PROGRAMME.md — first-principles 3-layer landscape … Instant Sync #200: Commit 016dd53 pushed by hyperpolymath
8s main
main
8s
chore(license): PMPL → MPL-2.0 sweep (1 files) (#103) Instant Sync #199: Commit 3014a51 pushed by hyperpolymath
10s main
main
10s