Skip to content

Actions: hyperpolymath/panic-attack

Actions

BoJ Server Build Trigger

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
boj-build.yml
245 workflow runs
245 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) BoJ Server Build Trigger #220: Commit 3cffe67 pushed by hyperpolymath
1m 29s main
main
1m 29s
test(aggregate): ideal Idris2 proof fixture + end-to-end fold test (#… BoJ Server Build Trigger #219: Commit 826d541 pushed by hyperpolymath
13s main
main
13s
docs: complete audience→axial rename drift in man page + docs (#137) BoJ Server Build Trigger #218: Commit 0d89586 pushed by hyperpolymath
43s main
main
43s
Claude/unbounded severity v2 (#135) BoJ Server Build Trigger #217: Commit b26acb0 pushed by hyperpolymath
11s main
main
11s
chore(deps): bump the rust-minor group across 1 directory with 2 upda… BoJ Server Build Trigger #216: Commit 3155768 pushed by hyperpolymath
1m 28s main
main
1m 28s
fix(assail): null-check-aware UncheckedAllocation + precise eval dete… BoJ Server Build Trigger #215: Commit 60d9219 pushed by hyperpolymath
9s main
main
9s
chore: retire local issue/discussion templates -> inherit org .github… BoJ Server Build Trigger #214: Commit 926c507 pushed by hyperpolymath
19m 2s main
main
19m 2s
Remove duplicate OpenSSF Scorecard workflow (scorecard-enforcer.yml) … BoJ Server Build Trigger #213: Commit 549234d pushed by hyperpolymath
11s main
main
11s
Fix broken bench: add missing test_context field to WeakPoint literal… BoJ Server Build Trigger #212: Commit 36db570 pushed by hyperpolymath
10s main
main
10s
fix(assail): UnboundedAllocation is Medium, not Critical BoJ Server Build Trigger #211: Commit 3f7d0bb pushed by hyperpolymath
13s main
main
13s
chore(deps): bump the rust-minor group with 2 updates (#126) BoJ Server Build Trigger #210: Commit 6a814fa pushed by hyperpolymath
8s main
main
8s
ci: wire the merge-orchestration CVE/bump gate (bridge-gate.yml) (#127) BoJ Server Build Trigger #209: Commit 2576c19 pushed by hyperpolymath
21s main
main
21s
proofs: attestation unforgeability (Idris2, §3.2) + contractile INDEX… BoJ Server Build Trigger #208: Commit d215986 pushed by hyperpolymath
18s main
main
18s
chore(close-out): CI hardening + hexad proof + doc accuracy + 6a2 met… BoJ Server Build Trigger #207: Commit cfc892f pushed by hyperpolymath
8s main
main
8s
feat: assay / assimilate / aggregate — proof-integration subcommands … BoJ Server Build Trigger #206: Commit 4dc4aca pushed by hyperpolymath
10s main
main
10s
feat(safe_path): port proven SafePath as pure-Rust + add traversal gu… BoJ Server Build Trigger #205: Commit 2dc1393 pushed by hyperpolymath
13m 38s main
main
13m 38s
proofs(Layer 1.0): close slash-slash inductive case via mutual recurs… BoJ Server Build Trigger #204: Commit 833f394 pushed by hyperpolymath
9m 18s main
main
9m 18s
release(v2.5.5): tag the 11-PR context-awareness cohort (#118) BoJ Server Build Trigger #203: Commit d5f3a4f pushed by hyperpolymath
8m 39s main
main
8m 39s
docs(closeout): v2.5.5 cohort + v3.0.0 verisim-push + PROOF-PROGRAMME… BoJ Server Build Trigger #202: Commit 2fc73bd pushed by hyperpolymath
7m 4s main
main
7m 4s
proofs(Layer 1.0): Idris2 stripping foundation — base cases + shape l… BoJ Server Build Trigger #201: Commit ad1faf6 pushed by hyperpolymath
26s main
main
26s
feat(suppression): v2.5.5 Phase 2 — analyzer wire-up (#110) BoJ Server Build Trigger #200: Commit ad72e06 pushed by hyperpolymath
8s main
main
8s
ci(codeql): cron weekly→monthly (cut 3, standards#288) (#109) BoJ Server Build Trigger #199: Commit 600bf51 pushed by hyperpolymath
8s main
main
8s
feat(ffi_kind): v2.5.5 FFI subtyping (BuildSystem / RuntimeAbi / Test… BoJ Server Build Trigger #198: Commit d25210d pushed by hyperpolymath
1m 6s main
main
1m 6s
feat(v3.0.0): Chapel→VeriSimDB HTTP push via panic-attack verisim-pus… BoJ Server Build Trigger #197: Commit 62c98cc pushed by hyperpolymath
1m 1s main
main
1m 1s
feat(jit_context): v2.5.5 JIT-framework classifier (Cranelift/LLVM/Wa… BoJ Server Build Trigger #196: Commit f0b6463 pushed by hyperpolymath
1m 24s main
main
1m 24s