Skip to content

Actions: hyperpolymath/lustreiser

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(codeowners): substitute the un-instantiated {{OWNER}} placeholder… BoJ Server Build Trigger #81: Commit 60d9ce8 pushed by hyperpolymath
10m 22s main
main
10m 22s
ci: vendor validation scripts and remove remote action pins (#50) BoJ Server Build Trigger #80: Commit 5ad80d1 pushed by hyperpolymath
26m 44s main
main
26m 44s
fix(ci): re-point validate-action references at the ecosystem repos (… BoJ Server Build Trigger #79: Commit 7d51ae4 pushed by hyperpolymath
13m 27s main
main
13m 27s
fix(ci): repair dogfood-gate.yml — the workflow has never run (#48) BoJ Server Build Trigger #78: Commit ad32da9 pushed by hyperpolymath
13m 58s main
main
13m 58s
fix(ci): close the governance gate — SPDX, permissions, SHA pins, reu… BoJ Server Build Trigger #77: Commit 457d1f7 pushed by hyperpolymath
2h 58m 40s main
main
2h 58m 40s
security: re-pin secret scanner onto the real gitleaks gate (#46) BoJ Server Build Trigger #76: Commit cd0f985 pushed by hyperpolymath
15m 27s main
main
15m 27s
ci: Secret Scanner caller must grant the reusable's job permissions (… BoJ Server Build Trigger #75: Commit 0abedb6 pushed by hyperpolymath
19m 32s main
main
19m 32s
fix(ci): clear OSSF Scorecard startup_failure (#44) BoJ Server Build Trigger #74: Commit 933e31a pushed by hyperpolymath
48m 35s main
main
48m 35s
fix(clade): correct identity uuid (deterministic v5) (#43) BoJ Server Build Trigger #73: Commit 1e836f0 pushed by hyperpolymath
4m 22s main
main
4m 22s
ci: make CI genuinely green — rust-ci toolchain pin + canonical Julia… BoJ Server Build Trigger #72: Commit 14d34e9 pushed by hyperpolymath
15s main
main
15s
ABI Layer 5: end-to-end soundness capstone certificate (#41) BoJ Server Build Trigger #71: Commit b3d0283 pushed by hyperpolymath
10s main
main
10s
ABI Layer 4: prove the FFI result-code seam is injective + faithful (… BoJ Server Build Trigger #70: Commit 88cbfa1 pushed by hyperpolymath
7s main
main
7s
ABI Layer 3: run is a left monoid action of the input stream (runAppe… BoJ Server Build Trigger #69: Commit 7d8f846 pushed by hyperpolymath
1m 38s main
main
1m 38s
abi(semantics): prove saturating-counter node invariant + determinism… BoJ Server Build Trigger #68: Commit 9af03a4 pushed by hyperpolymath
26s main
main
26s
ci: refresh standards reusable pins to current HEAD (d7c2271) (#37) BoJ Server Build Trigger #67: Commit c0bb63a pushed by hyperpolymath
1h 23m 30s main
main
1h 23m 30s
ci: add ABI↔FFI conformance gate (#36) BoJ Server Build Trigger #66: Commit 7288dac pushed by hyperpolymath
39s main
main
39s
Auto-install pinned Zig toolchain in setup + devcontainer (#35) BoJ Server Build Trigger #65: Commit 5d994fe pushed by hyperpolymath
4m 46s main
main
4m 46s
ABI: make Idris2 proofs genuinely compile + add machine-checked theor… BoJ Server Build Trigger #64: Commit 6c1a419 pushed by hyperpolymath
1m 57s main
main
1m 57s
Normalize licensing to MPL-2.0 (code) + CC-BY-SA-4.0 (docs) (#33) BoJ Server Build Trigger #63: Commit 7479e0b pushed by hyperpolymath
1m 15s main
main
1m 15s
docs(readme): convert README.adoc -> Markdown README.md (#32) BoJ Server Build Trigger #62: Commit c79a510 pushed by hyperpolymath
58m 29s main
main
58m 29s
chore(ci): add dormant push-email notification workflow (#31) BoJ Server Build Trigger #61: Commit 492020d pushed by hyperpolymath
19h 16m 22s main
main
19h 16m 22s
chore(clade): backfill [status] lifecycle block (default active) (#30) BoJ Server Build Trigger #60: Commit 5035348 pushed by hyperpolymath
19h 16m 42s main
main
19h 16m 42s
chore(licence): normalise to MPL-2.0 (code) + CC-BY-SA-4.0 (docs) (#29) BoJ Server Build Trigger #59: Commit ec4350f pushed by hyperpolymath
18h 42m 46s main
main
18h 42m 46s
chore(ci): bump standards reusable workflow pins to d135b05bfc64 (#28) BoJ Server Build Trigger #58: Commit b32aa29 pushed by hyperpolymath
3h 40m 14s main
main
3h 40m 14s
chore(nix->guix): remove flake.nix (Guix-only estate policy) (#27) BoJ Server Build Trigger #57: Commit 158dc1a pushed by hyperpolymath
35m 40s main
main
35m 40s