Skip to content

Actions: hyperpolymath/wokelangiser

Actions

BoJ Server Build Trigger

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
boj-build.yml
89 workflow runs
89 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 #89: Commit ba14fff pushed by hyperpolymath
2h 35m 1s main
main
2h 35m 1s
security: re-pin secret scanner onto the real gitleaks gate (#59) BoJ Server Build Trigger #88: Commit 2760395 pushed by hyperpolymath
37m 49s main
main
37m 49s
fix(ci): clear OSSF Scorecard startup_failure (#58) BoJ Server Build Trigger #87: Commit 58c50a5 pushed by hyperpolymath
34m 53s main
main
34m 53s
ci: make CI genuinely green — rust-ci toolchain pin + fmt/clippy (#57) BoJ Server Build Trigger #86: Commit d024028 pushed by hyperpolymath
18s main
main
18s
ABI Layer 5: end-to-end soundness capstone certificate (#56) BoJ Server Build Trigger #85: Commit a24a2cf pushed by hyperpolymath
11s main
main
11s
ABI Layer 4: prove the FFI result-code seam is injective + faithful (… BoJ Server Build Trigger #84: Commit 4e6560c pushed by hyperpolymath
11s main
main
11s
ABI Layer 3: consent withdrawal (revocation removes permission) (#54) BoJ Server Build Trigger #83: Commit de7135c pushed by hyperpolymath
10s main
main
10s
ABI Layer 2: prove consent-gated data actions — flagship Idris2 proof… BoJ Server Build Trigger #82: Commit f5025ed pushed by hyperpolymath
47s main
main
47s
ci: refresh standards reusable pins to current HEAD (d7c2271) (#52) BoJ Server Build Trigger #81: Commit bd99b31 pushed by hyperpolymath
2h 34m 0s main
main
2h 34m 0s
P1: fix Zig FFI to build and match the Idris2 ABI (#51) BoJ Server Build Trigger #80: Commit 77eb4b8 pushed by hyperpolymath
1m 34s main
main
1m 34s
Auto-install pinned Zig toolchain in setup + devcontainer (#50) BoJ Server Build Trigger #79: Commit 56e0806 pushed by hyperpolymath
8m 14s main
main
8m 14s
ABI: make Idris2 proofs genuinely compile + add machine-checked theor… BoJ Server Build Trigger #78: Commit 2c12d32 pushed by hyperpolymath
1m 57s main
main
1m 57s
Add SPDX header to LICENSE and set Cargo.toml license field (#48) BoJ Server Build Trigger #77: Commit 21400aa pushed by hyperpolymath
13s main
main
13s
chore(ci): add dormant push-email notification workflow (#47) BoJ Server Build Trigger #76: Commit ba8ebb4 pushed by hyperpolymath
21h 17m 15s main
main
21h 17m 15s
chore(licence): normalise to MPL-2.0 (code) + CC-BY-SA-4.0 (docs) (#46) BoJ Server Build Trigger #75: Commit 9c2ff2a pushed by hyperpolymath
19h 0m 46s main
main
19h 0m 46s
chore(clade): backfill [status] lifecycle block (default active) (#45) BoJ Server Build Trigger #74: Commit 9adb60d pushed by hyperpolymath
16h 45m 32s main
main
16h 45m 32s
chore(ci): bump standards reusable workflow pins to d135b05bfc64 (#44) BoJ Server Build Trigger #73: Commit e8df792 pushed by hyperpolymath
7h 59m 47s main
main
7h 59m 47s
chore(nix->guix): remove flake.nix (Guix-only estate policy) (#43) BoJ Server Build Trigger #72: Commit b528869 pushed by hyperpolymath
32m 2s main
main
32m 2s
chore: retire local issue/discussion templates -> inherit org .github… BoJ Server Build Trigger #71: Commit 2672869 pushed by hyperpolymath
1h 1m 3s main
main
1h 1m 3s
ci: bump rust-ci-reusable pin cc5a372a → 09e7023d (standards HEAD) (#42) BoJ Server Build Trigger #70: Commit dfb5921 pushed by hyperpolymath
10s main
main
10s
ci: refresh standards reusable pins 5a93d9d -> 09e7023d (current HEAD… BoJ Server Build Trigger #69: Commit eeaa67e pushed by hyperpolymath
8s main
main
8s
chore: close-out hygiene — SPDX fix, fill template placeholders, refr… BoJ Server Build Trigger #68: Commit 2c3b718 pushed by hyperpolymath
8s main
main
8s
Add reusable branch-cleanup workflow (server-side deletion) (#36) BoJ Server Build Trigger #67: Commit 607c133 pushed by hyperpolymath
8s main
main
8s
ci: adopt standards reusable workflows for Scorecard, Hypatia, and Go… BoJ Server Build Trigger #66: Commit c54fde7 pushed by hyperpolymath
18m 12s main
main
18m 12s
chore(security): clear Hypatia false-positives (.envrc example + setu… BoJ Server Build Trigger #65: Commit 9b8027b pushed by hyperpolymath
7s main
main
7s