Skip to content

Actions: hyperpolymath/k9iser

Actions

BoJ Server Build Trigger

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
boj-build.yml
90 workflow runs
90 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
Sync local commits to main (#56) BoJ Server Build Trigger #90: Commit 62bc105 pushed by hyperpolymath
1h 15m 33s main
main
1h 15m 33s
fix(ci): close the governance gate — SPDX, permissions, SHA pins, reu… BoJ Server Build Trigger #89: Commit 6422d3e pushed by hyperpolymath
3h 0m 38s main
main
3h 0m 38s
security: re-pin secret scanner onto the real gitleaks gate (#54) BoJ Server Build Trigger #88: Commit 2087306 pushed by hyperpolymath
13m 54s main
main
13m 54s
ci: Secret Scanner caller must grant the reusable's job permissions (… BoJ Server Build Trigger #87: Commit ef97034 pushed by hyperpolymath
21m 4s main
main
21m 4s
fix(ci): clear OSSF Scorecard startup_failure (#52) BoJ Server Build Trigger #86: Commit 17a2894 pushed by hyperpolymath
51m 46s main
main
51m 46s
fix(clade): correct identity uuid (deterministic v5) (#51) BoJ Server Build Trigger #85: Commit 9b9f483 pushed by hyperpolymath
4m 8s main
main
4m 8s
ci: make CI genuinely green — rust-ci toolchain pin + canonical Julia… BoJ Server Build Trigger #84: Commit d0d7c0c pushed by hyperpolymath
8s main
main
8s
ABI Layer 5: end-to-end soundness capstone certificate (#49) BoJ Server Build Trigger #83: Commit e2f0d85 pushed by hyperpolymath
8s main
main
8s
ABI Layer 4: prove the FFI result-code seam is injective + faithful (… BoJ Server Build Trigger #82: Commit b9d4b0e pushed by hyperpolymath
8s main
main
8s
ABI Layer 3: conjunction-of-contracts law (#47) BoJ Server Build Trigger #81: Commit 62dc8d3 pushed by hyperpolymath
58s main
main
58s
Add Layer 2 semantic proof: configs self-validate against K9 contract… BoJ Server Build Trigger #80: Commit 7dddd86 pushed by hyperpolymath
20s main
main
20s
ci: refresh standards reusable pins to current HEAD (d7c2271) (#45) BoJ Server Build Trigger #79: Commit 3341266 pushed by hyperpolymath
1h 16m 16s main
main
1h 16m 16s
P1: export missing ABI function + add ABI↔FFI gate (#44) BoJ Server Build Trigger #78: Commit 5b39570 pushed by hyperpolymath
22s main
main
22s
Auto-install pinned Zig toolchain in setup + devcontainer (#43) BoJ Server Build Trigger #77: Commit 9332957 pushed by hyperpolymath
4m 6s main
main
4m 6s
ABI: make Idris2 proofs genuinely compile + add machine-checked theor… BoJ Server Build Trigger #76: Commit cb0826d pushed by hyperpolymath
1m 43s main
main
1m 43s
Normalize licensing to MPL-2.0 (code) + CC-BY-SA-4.0 (docs) (#41) BoJ Server Build Trigger #75: Commit fb79ccc pushed by hyperpolymath
2m 10s main
main
2m 10s
docs(readme): convert README.adoc -> Markdown README.md (#40) BoJ Server Build Trigger #74: Commit 5c3d52a pushed by hyperpolymath
51m 45s main
main
51m 45s
chore(clade): backfill [status] lifecycle block (default active) (#38) BoJ Server Build Trigger #73: Commit e95a2f4 pushed by hyperpolymath
19h 24m 23s main
main
19h 24m 23s
chore(ci): add dormant push-email notification workflow (#39) BoJ Server Build Trigger #72: Commit da5e70e pushed by hyperpolymath
18h 56m 18s main
main
18h 56m 18s
chore(licence): normalise to MPL-2.0 (code) + CC-BY-SA-4.0 (docs) (#37) BoJ Server Build Trigger #71: Commit 72c0a0d pushed by hyperpolymath
10h 42m 16s main
main
10h 42m 16s
chore(ci): bump standards reusable workflow pins to d135b05bfc64 (#36) BoJ Server Build Trigger #70: Commit cd16743 pushed by hyperpolymath
3h 13m 55s main
main
3h 13m 55s
chore(nix->guix): remove flake.nix (Guix-only estate policy) (#35) BoJ Server Build Trigger #69: Commit 3298cf5 pushed by hyperpolymath
37m 44s main
main
37m 44s
chore: retire local issue/discussion templates -> inherit org .github… BoJ Server Build Trigger #68: Commit bb8efbd pushed by hyperpolymath
1h 1m 8s main
main
1h 1m 8s
ci: adopt standards reusable workflows for Scorecard, Hypatia, and Go… BoJ Server Build Trigger #67: Commit 0b84154 pushed by hyperpolymath
21m 7s main
main
21m 7s
Base camp: RSR Mustfile + green CI + CHANGELOG de-dup (#34) BoJ Server Build Trigger #66: Commit 872d869 pushed by hyperpolymath
1m 27s main
main
1m 27s