Skip to content

Actions: hyperpolymath/verisimiser

Actions

BoJ Server Build Trigger

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
boj-build.yml
149 workflow runs
149 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 #149: Commit 1e39e14 pushed by hyperpolymath
2h 41m 18s main
main
2h 41m 18s
security: re-pin secret scanner onto the real gitleaks gate (#183) BoJ Server Build Trigger #148: Commit 5a9500f pushed by hyperpolymath
32m 22s main
main
32m 22s
fix(ci): clear OSSF Scorecard startup_failure (#181) BoJ Server Build Trigger #147: Commit 3398da0 pushed by hyperpolymath
34m 5s main
main
34m 5s
fix(clade): correct identity uuid (deterministic v5) (#180) BoJ Server Build Trigger #146: Commit 2956930 pushed by hyperpolymath
12m 46s main
main
12m 46s
fix(soundness): FFI octad ops fail loudly instead of reporting false … BoJ Server Build Trigger #145: Commit 696c495 pushed by hyperpolymath
10s main
main
10s
ABI Layer 5: end-to-end soundness capstone certificate (#178) BoJ Server Build Trigger #144: Commit ce26ae4 pushed by hyperpolymath
10s main
main
10s
ABI Layer 4: prove the FFI result-code seam is injective + faithful (… BoJ Server Build Trigger #143: Commit 0d2e8e5 pushed by hyperpolymath
7s main
main
7s
ABI Layer 3: compositional sidecar isolation (write-effect monoid hom… BoJ Server Build Trigger #142: Commit 3f4675c pushed by hyperpolymath
15s main
main
15s
fix(ci): use the pinned Julia 1.11.5 in the ABI-FFI gate (#175) BoJ Server Build Trigger #141: Commit 77f6eb7 pushed by hyperpolymath
7s main
main
7s
chore: port the ABI-FFI gate from Python to Julia (RSR-H4: no Python)… BoJ Server Build Trigger #140: Commit dd49dd3 pushed by hyperpolymath
10s main
main
10s
feat(abi): prove hash-chain integrity, version ordering & lineage acy… BoJ Server Build Trigger #139: Commit b53a4c8 pushed by hyperpolymath
1m 8s main
main
1m 8s
chore(license): reconcile residual PMPL prose to canonical MPL-2.0 + … BoJ Server Build Trigger #138: Commit 5c1c44c pushed by hyperpolymath
8s main
main
8s
ci: refresh standards reusable pins to current HEAD (d7c2271) (#171) BoJ Server Build Trigger #137: Commit 56e6c5f pushed by hyperpolymath
2h 31m 42s main
main
2h 31m 42s
verisimiser: make ABI/FFI/codegen provably-real + honest docs (#167) BoJ Server Build Trigger #136: Commit 86319db pushed by hyperpolymath
8s main
main
8s
P3: prove octad-model invariants as real bijections + sidecar isolati… BoJ Server Build Trigger #135: Commit f4ea008 pushed by hyperpolymath
12s main
main
12s
P1: fix Zig FFI to compile under Zig 0.14.0 (#166) BoJ Server Build Trigger #134: Commit 84162aa pushed by hyperpolymath
18s main
main
18s
Auto-install pinned Zig toolchain in setup + devcontainer (#165) BoJ Server Build Trigger #133: Commit efd2291 pushed by hyperpolymath
5m 35s main
main
5m 35s
ABI: make Idris2 proofs genuinely compile + add machine-checked theor… BoJ Server Build Trigger #132: Commit 6f9bdc2 pushed by hyperpolymath
3m 35s main
main
3m 35s
Normalize licensing to MPL-2.0 (code) + CC-BY-SA-4.0 (docs) (#163) BoJ Server Build Trigger #131: Commit fe51a4a pushed by hyperpolymath
8s main
main
8s
chore(ci): add dormant push-email notification workflow (#162) BoJ Server Build Trigger #130: Commit 76d0573 pushed by hyperpolymath
21h 16m 51s main
main
21h 16m 51s
chore(licence): normalise to MPL-2.0 + CC-BY-SA-4.0 (canonical pair) … BoJ Server Build Trigger #129: Commit 89baf58 pushed by hyperpolymath
18h 37m 22s main
main
18h 37m 22s
chore(clade): backfill [status] lifecycle block (#160) BoJ Server Build Trigger #128: Commit 699f64e pushed by hyperpolymath
16h 43m 28s main
main
16h 43m 28s
chore(ci): bump standards reusable workflow pins (#159) BoJ Server Build Trigger #127: Commit fc6c30b pushed by hyperpolymath
7h 36m 41s main
main
7h 36m 41s
chore(nix->guix): remove flake.nix (Guix-only) (#158) BoJ Server Build Trigger #126: Commit 796eefb pushed by hyperpolymath
28m 47s main
main
28m 47s
chore: retire local issue/discussion templates -> inherit org .github… BoJ Server Build Trigger #125: Commit 38d4e79 pushed by hyperpolymath
1h 19m 47s main
main
1h 19m 47s