Skip to content

Actions: hyperpolymath/idrisiser

Actions

BoJ Server Build Trigger

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
boj-build.yml
81 workflow runs
81 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 #81: Commit ba29d2b pushed by hyperpolymath
3h 2m 4s main
main
3h 2m 4s
security: re-pin secret scanner onto the real gitleaks gate (#51) BoJ Server Build Trigger #80: Commit 947f2c2 pushed by hyperpolymath
10m 13s main
main
10m 13s
ci: Secret Scanner caller must grant the reusable's job permissions (… BoJ Server Build Trigger #79: Commit c875390 pushed by hyperpolymath
22m 0s main
main
22m 0s
fix(ci): clear OSSF Scorecard startup_failure (#49) BoJ Server Build Trigger #78: Commit 813171c pushed by hyperpolymath
52m 43s main
main
52m 43s
fix(clade): correct identity uuid (deterministic v5) (#48) BoJ Server Build Trigger #77: Commit 17e2ee2 pushed by hyperpolymath
1m 24s main
main
1m 24s
ci: fmt under stable 1.96 to make rust-ci green (follow-up) (#47) BoJ Server Build Trigger #76: Commit 798961d pushed by hyperpolymath
30s main
main
30s
ci: make CI genuinely green — rust-ci toolchain pin + canonical Julia… BoJ Server Build Trigger #75: Commit 1eedb56 pushed by hyperpolymath
9s main
main
9s
ABI Layer 5: end-to-end soundness capstone certificate (#45) BoJ Server Build Trigger #74: Commit 9e56ba7 pushed by hyperpolymath
7s main
main
7s
ABI Layer 4: prove the FFI result-code seam is injective + faithful (… BoJ Server Build Trigger #73: Commit bb2b581 pushed by hyperpolymath
8s main
main
8s
ABI Layer 3: McCarthy store/select array-update laws (write-then-read… BoJ Server Build Trigger #72: Commit 7ac70ae pushed by hyperpolymath
30s main
main
30s
feat(abi): add Semantics flagship proof — bounded array access safety… BoJ Server Build Trigger #71: Commit 29e9bec pushed by hyperpolymath
9s main
main
9s
ci: refresh standards reusable pins to current HEAD (d7c2271) (#41) BoJ Server Build Trigger #70: Commit 5f53198 pushed by hyperpolymath
1h 6m 10s main
main
1h 6m 10s
ci: add ABI↔FFI conformance gate (#40) BoJ Server Build Trigger #69: Commit 453ac63 pushed by hyperpolymath
1m 29s main
main
1m 29s
Auto-install pinned Zig toolchain in setup + devcontainer (#39) BoJ Server Build Trigger #68: Commit 29850c3 pushed by hyperpolymath
3m 21s main
main
3m 21s
ABI: make Idris2 proofs genuinely compile + add machine-checked theor… BoJ Server Build Trigger #67: Commit 1692561 pushed by hyperpolymath
2m 24s main
main
2m 24s
Normalize licensing to MPL-2.0 (code) + CC-BY-SA-4.0 (docs) (#37) BoJ Server Build Trigger #66: Commit 7f1691c pushed by hyperpolymath
1m 18s main
main
1m 18s
docs(readme): convert README.adoc -> Markdown README.md (#36) BoJ Server Build Trigger #65: Commit f4a97b4 pushed by hyperpolymath
50m 15s main
main
50m 15s
chore(clade): backfill [status] lifecycle block (default active) (#34) BoJ Server Build Trigger #64: Commit f5c9f31 pushed by hyperpolymath
18h 24m 10s main
main
18h 24m 10s
chore(ci): add dormant push-email notification workflow (#35) BoJ Server Build Trigger #63: Commit af415d6 pushed by hyperpolymath
18h 3m 50s main
main
18h 3m 50s
chore(licence): normalise to MPL-2.0 (code) + CC-BY-SA-4.0 (docs) (#33) BoJ Server Build Trigger #62: Commit a22aeef pushed by hyperpolymath
10h 22m 41s main
main
10h 22m 41s
chore(ci): bump standards reusable workflow pins to d135b05bfc64 (#32) BoJ Server Build Trigger #61: Commit 951e212 pushed by hyperpolymath
2h 26m 44s main
main
2h 26m 44s
chore(nix->guix): remove flake.nix (Guix-only estate policy) (#31) BoJ Server Build Trigger #60: Commit 1669ba3 pushed by hyperpolymath
38m 33s main
main
38m 33s
chore: retire local issue/discussion templates -> inherit org .github… BoJ Server Build Trigger #59: Commit 5354cfc pushed by hyperpolymath
53m 40s main
main
53m 40s
ci: adopt standards reusable workflows for Scorecard, Hypatia, and Go… BoJ Server Build Trigger #58: Commit 6e67e8c pushed by hyperpolymath
18m 16s main
main
18m 16s
Base camp: RSR Mustfile + green CI + CHANGELOG de-dup (#30) BoJ Server Build Trigger #57: Commit 1f681bd pushed by hyperpolymath
1m 47s main
main
1m 47s