Skip to content

Actions: hyperpolymath/a2mliser

Actions

BoJ Server Build Trigger

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
boj-build.yml
73 workflow runs
73 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): grant secret-scanner reusable its requested job permissions … BoJ Server Build Trigger #73: Commit e185099 pushed by hyperpolymath
8s main
main
8s
fix(ci): clear OSSF Scorecard startup_failure (#43) BoJ Server Build Trigger #72: Commit 9e7ae73 pushed by hyperpolymath
55m 35s main
main
55m 35s
fix(clade): correct identity uuid (deterministic v5) (#42) BoJ Server Build Trigger #71: Commit d266710 pushed by hyperpolymath
10s main
main
10s
ci: make CI genuinely green — rust-ci toolchain pin + canonical Julia… BoJ Server Build Trigger #70: Commit c2bdb0b pushed by hyperpolymath
10s main
main
10s
ABI Layer 5: end-to-end soundness capstone certificate (#40) BoJ Server Build Trigger #69: Commit 6ebff5a pushed by hyperpolymath
8s main
main
8s
ABI Layer 4: prove the FFI result-code seam is injective + faithful (… BoJ Server Build Trigger #68: Commit 2127e18 pushed by hyperpolymath
8s main
main
8s
ABI Layer 3: attestation determinism, idempotence + issue→verify roun… BoJ Server Build Trigger #67: Commit 8b97dda pushed by hyperpolymath
10s main
main
10s
ABI Layer 2: prove attestation binding soundness (tamper-evidence) — … BoJ Server Build Trigger #66: Commit 8af3b8c pushed by hyperpolymath
10s main
main
10s
ci: refresh standards reusable pins to current HEAD (d7c2271) (#36) BoJ Server Build Trigger #65: Commit ccdc0d4 pushed by hyperpolymath
14s main
main
14s
ci: add ABI↔FFI conformance gate (#35) BoJ Server Build Trigger #64: Commit de24586 pushed by hyperpolymath
11s main
main
11s
Auto-install pinned Zig toolchain in setup + devcontainer (#34) BoJ Server Build Trigger #63: Commit 4160608 pushed by hyperpolymath
57s main
main
57s
ABI: make Idris2 proofs genuinely compile + add machine-checked theor… BoJ Server Build Trigger #62: Commit 543f386 pushed by hyperpolymath
41s main
main
41s
Normalize licensing to MPL-2.0 (code) + CC-BY-SA-4.0 (docs) (#32) BoJ Server Build Trigger #61: Commit d4725c7 pushed by hyperpolymath
3m 14s main
main
3m 14s
docs(readme): convert README.adoc -> Markdown (renders on Glama/profi… BoJ Server Build Trigger #60: Commit 5ef92e9 pushed by hyperpolymath
26m 31s main
main
26m 31s
chore(licence): remove residual Palimpsest/PMPL contradiction text (#30) BoJ Server Build Trigger #59: Commit 9db21b2 pushed by hyperpolymath
32m 29s main
main
32m 29s
chore(ci): add dormant push-email notification workflow (#29) BoJ Server Build Trigger #58: Commit 7b73e1e pushed by hyperpolymath
21h 2m 40s main
main
21h 2m 40s
chore(clade): backfill [status] lifecycle block (#28) BoJ Server Build Trigger #57: Commit cac8c0e pushed by hyperpolymath
16h 50m 1s main
main
16h 50m 1s
chore(licence): normalise to MPL-2.0 + CC-BY-SA-4.0 (canonical pair) … BoJ Server Build Trigger #56: Commit 2e10384 pushed by hyperpolymath
8h 7m 24s main
main
8h 7m 24s
chore(ci): bump standards reusable workflow pins (#26) BoJ Server Build Trigger #55: Commit 3b91de1 pushed by hyperpolymath
1m 32s main
main
1m 32s
chore(nix->guix): remove flake.nix (Guix-only) (#25) BoJ Server Build Trigger #54: Commit 3b1a630 pushed by hyperpolymath
19m 9s main
main
19m 9s
chore(licence): normalise to MPL-2.0 + CC-BY-SA-4.0 (canonical pair) … BoJ Server Build Trigger #53: Commit 0638ddd pushed by hyperpolymath
11s main
main
11s
chore: retire local issue/discussion templates -> inherit org .github… BoJ Server Build Trigger #52: Commit cb65504 pushed by hyperpolymath
43m 28s main
main
43m 28s
ci: adopt standards reusable workflows for Scorecard, Hypatia, and Go… BoJ Server Build Trigger #51: Commit 93beae3 pushed by hyperpolymath
32m 50s main
main
32m 50s
docs: de-dup README/CHANGELOG (keep .adoc, port sponsor badge) (#23) BoJ Server Build Trigger #50: Commit 9437442 pushed by hyperpolymath
1m 45s main
main
1m 45s
Base camp: RSR Mustfile + green CI (ReScript→AffineScript, CodeQL mat… BoJ Server Build Trigger #49: Commit 312eaa0 pushed by hyperpolymath
15s main
main
15s