Skip to content

Actions: hyperpolymath/otpiser

Actions

BoJ Server Build Trigger

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
boj-build.yml
78 workflow runs
78 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(ci): close the governance gate — SPDX, permissions, SHA pins, reu… BoJ Server Build Trigger #78: Commit 45e2f31 pushed by hyperpolymath
2h 54m 35s main
main
2h 54m 35s
security: re-pin secret scanner onto the real gitleaks gate (#43) BoJ Server Build Trigger #77: Commit 28a80ad pushed by hyperpolymath
20m 31s main
main
20m 31s
ci: Secret Scanner caller must grant the reusable's job permissions (… BoJ Server Build Trigger #76: Commit 91b250f pushed by hyperpolymath
11m 52s main
main
11m 52s
fix(ci): clear OSSF Scorecard startup_failure (#41) BoJ Server Build Trigger #75: Commit 22ed571 pushed by hyperpolymath
47m 4s main
main
47m 4s
fix(clade): correct identity uuid (deterministic v5) (#40) BoJ Server Build Trigger #74: Commit 0ca9a06 pushed by hyperpolymath
6m 9s main
main
6m 9s
ci: make CI genuinely green — rust-ci toolchain pin (#39) BoJ Server Build Trigger #73: Commit 1c96c94 pushed by hyperpolymath
7s main
main
7s
ABI Layer 5: end-to-end soundness capstone certificate (#38) BoJ Server Build Trigger #72: Commit 4f44d46 pushed by hyperpolymath
12s main
main
12s
ABI Layer 4: prove the FFI result-code seam is injective + faithful (… BoJ Server Build Trigger #71: Commit 5d14cb4 pushed by hyperpolymath
9s main
main
9s
ABI Layer 3: rest-for-one restart strategy (idempotence + child-set p… BoJ Server Build Trigger #70: Commit 625d2b3 pushed by hyperpolymath
1m 38s main
main
1m 38s
abi: prove OneForOne restart invariant (Layer 2 semantic proof) (#35) BoJ Server Build Trigger #69: Commit ff14998 pushed by hyperpolymath
12s main
main
12s
ci: refresh standards reusable pins to current HEAD (d7c2271) (#34) BoJ Server Build Trigger #68: Commit d9a1c05 pushed by hyperpolymath
1h 35m 31s main
main
1h 35m 31s
P1: fix Zig FFI to build and match the Idris2 ABI (#33) BoJ Server Build Trigger #67: Commit f7d483d pushed by hyperpolymath
38s main
main
38s
Auto-install pinned Zig toolchain in setup + devcontainer (#32) BoJ Server Build Trigger #66: Commit 5ee4413 pushed by hyperpolymath
5m 7s main
main
5m 7s
ABI: make Idris2 proofs genuinely compile + add machine-checked theor… BoJ Server Build Trigger #65: Commit 8d1c48e pushed by hyperpolymath
1m 39s main
main
1m 39s
Normalize licensing to MPL-2.0 (code) + CC-BY-SA-4.0 (docs) (#30) BoJ Server Build Trigger #64: Commit a54e3e7 pushed by hyperpolymath
37s main
main
37s
chore(clade): backfill [status] lifecycle block (default active) (#28) BoJ Server Build Trigger #63: Commit a18c323 pushed by hyperpolymath
21h 8m 12s main
main
21h 8m 12s
chore(ci): add dormant push-email notification workflow (#29) BoJ Server Build Trigger #62: Commit 20c90de pushed by hyperpolymath
20h 30m 48s main
main
20h 30m 48s
chore(licence): normalise to MPL-2.0 (code) + CC-BY-SA-4.0 (docs) (#27) BoJ Server Build Trigger #61: Commit c56ef05 pushed by hyperpolymath
17h 52m 51s main
main
17h 52m 51s
chore(ci): bump standards reusable workflow pins to d135b05bfc64 (#26) BoJ Server Build Trigger #60: Commit d2490ed pushed by hyperpolymath
4h 41m 32s main
main
4h 41m 32s
chore(nix->guix): remove flake.nix (Guix-only estate policy) (#25) BoJ Server Build Trigger #59: Commit 55be02e pushed by hyperpolymath
37m 18s main
main
37m 18s
chore: retire local issue/discussion templates -> inherit org .github… BoJ Server Build Trigger #58: Commit 6c2c4d6 pushed by hyperpolymath
1h 0m 16s main
main
1h 0m 16s
ci: adopt standards reusable workflows for Scorecard, Hypatia, and Go… BoJ Server Build Trigger #57: Commit 843794c pushed by hyperpolymath
15m 55s main
main
15m 55s
Base camp: RSR Mustfile + CHANGELOG de-dup (#24) BoJ Server Build Trigger #56: Commit 83b3a41 pushed by hyperpolymath
46s main
main
46s
ci: repin orphan reusable SHAs (97df7621/4fdf4314 → live SHAs) (#23) BoJ Server Build Trigger #55: Commit 4d3526a pushed by hyperpolymath
14h 34m 28s main
main
14h 34m 28s
Chore/hypatia scan reusable wrapper (#17) BoJ Server Build Trigger #54: Commit e8230ae pushed by hyperpolymath
1m 20s main
main
1m 20s