Skip to content

Actions: hyperpolymath/anvomidaviser

Actions

BoJ Server Build Trigger

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
boj-build.yml
80 workflow runs
80 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 #80: Commit debd9ef pushed by hyperpolymath
3h 19m 49s main
main
3h 19m 49s
security: re-pin secret scanner onto the real gitleaks gate (#49) BoJ Server Build Trigger #79: Commit 1888a93 pushed by hyperpolymath
2m 33s main
main
2m 33s
ci: Secret Scanner caller must grant the reusable's job permissions (… BoJ Server Build Trigger #78: Commit c04b48e pushed by hyperpolymath
30m 18s main
main
30m 18s
fix(ci): clear OSSF Scorecard startup_failure (#47) BoJ Server Build Trigger #77: Commit 177061b pushed by hyperpolymath
1m 11s main
main
1m 11s
fix(clade): correct identity uuid (deterministic v5) (#46) BoJ Server Build Trigger #76: Commit d8b9fca pushed by hyperpolymath
25s main
main
25s
ci: make CI genuinely green — rust-ci toolchain pin + fmt/clippy (#45) BoJ Server Build Trigger #75: Commit 2c3dc9e pushed by hyperpolymath
9s main
main
9s
ABI Layer 5: end-to-end soundness capstone certificate (#44) BoJ Server Build Trigger #74: Commit 04e9331 pushed by hyperpolymath
9s main
main
9s
ABI Layer 4: prove the FFI result-code seam is injective + faithful (… BoJ Server Build Trigger #73: Commit 0d7b247 pushed by hyperpolymath
10s main
main
10s
ABI Layer 3: downward-closure of ISU well-formedness under element de… BoJ Server Build Trigger #72: Commit 7d3668b pushed by hyperpolymath
12s main
main
12s
ABI Layer 2: prove ISU short-program well-formedness — flagship Idris… BoJ Server Build Trigger #71: Commit 7342734 pushed by hyperpolymath
10s main
main
10s
ci: refresh standards reusable pins to current HEAD (d7c2271) (#40) BoJ Server Build Trigger #70: Commit 247f24c pushed by hyperpolymath
1m 38s main
main
1m 38s
P1: fix Zig FFI to compile and match the Idris2 ABI (#39) BoJ Server Build Trigger #69: Commit d7b0fa0 pushed by hyperpolymath
38s main
main
38s
Auto-install pinned Zig toolchain in setup + devcontainer (#38) BoJ Server Build Trigger #68: Commit 6cc712e pushed by hyperpolymath
48s main
main
48s
ABI: make Idris2 proofs genuinely compile + add machine-checked theor… BoJ Server Build Trigger #67: Commit e76b2fb pushed by hyperpolymath
28s main
main
28s
Normalize licensing to MPL-2.0 (code) + CC-BY-SA-4.0 (docs) (#36) BoJ Server Build Trigger #66: Commit 32d9596 pushed by hyperpolymath
2m 21s main
main
2m 21s
docs(readme): convert README.adoc -> Markdown (renders on Glama/profi… BoJ Server Build Trigger #65: Commit 7523fbb pushed by hyperpolymath
24m 40s main
main
24m 40s
chore(ci): add dormant push-email notification workflow (#34) BoJ Server Build Trigger #64: Commit f556c75 pushed by hyperpolymath
16h 42m 0s main
main
16h 42m 0s
chore(clade): backfill [status] lifecycle block (#33) BoJ Server Build Trigger #63: Commit 6ce5066 pushed by hyperpolymath
14h 7m 24s main
main
14h 7m 24s
chore(licence): normalise to MPL-2.0 + CC-BY-SA-4.0 (canonical pair) … BoJ Server Build Trigger #62: Commit a2eef39 pushed by hyperpolymath
9h 25m 3s main
main
9h 25m 3s
chore(ci): bump standards reusable workflow pins (#31) BoJ Server Build Trigger #61: Commit e23ac76 pushed by hyperpolymath
17m 50s main
main
17m 50s
chore(nix->guix): remove flake.nix (Guix-only) (#30) BoJ Server Build Trigger #60: Commit 73ed14c pushed by hyperpolymath
41m 26s main
main
41m 26s
chore: retire local issue/discussion templates -> inherit org .github… BoJ Server Build Trigger #59: Commit 6e56c30 pushed by hyperpolymath
52m 0s main
main
52m 0s
ci: adopt standards reusable workflows for Scorecard, Hypatia, and Go… BoJ Server Build Trigger #58: Commit 4eef7d7 pushed by hyperpolymath
15m 57s main
main
15m 57s
docs: de-dup README (keep .adoc, port sponsor badge) (#29) BoJ Server Build Trigger #57: Commit 49b5d79 pushed by hyperpolymath
1m 3s main
main
1m 3s
Base camp: RSR Mustfile + green CI (ReScript→AffineScript, CodeQL mat… BoJ Server Build Trigger #56: Commit e321f73 pushed by hyperpolymath
16s main
main
16s