Skip to content

Actions: hyperpolymath/affinescriptiser

Actions

BoJ Server Build Trigger

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
boj-build.yml
83 workflow runs
83 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
chore(deps): bump the actions group with 4 updates (#55) BoJ Server Build Trigger #83: Commit 735ce9d pushed by hyperpolymath
18s main
main
18s
chore(ci): make Scorecard periodic, not per-push (#54) BoJ Server Build Trigger #82: Commit 6bbb687 pushed by hyperpolymath
1h 2m 19s main
main
1h 2m 19s
chore(deps): bump the actions group with 13 updates (#52) BoJ Server Build Trigger #81: Commit be89138 pushed by hyperpolymath
8s main
main
8s
fix(codeowners): substitute the un-instantiated {{OWNER}} placeholder… BoJ Server Build Trigger #80: Commit 6ed79bc pushed by hyperpolymath
12m 54s main
main
12m 54s
ci: vendor validation scripts and remove remote action pins (#50) BoJ Server Build Trigger #79: Commit 3aac76a pushed by hyperpolymath
22m 45s main
main
22m 45s
fix(ci): re-point validate-action references at the ecosystem repos (… BoJ Server Build Trigger #78: Commit 7d2e558 pushed by hyperpolymath
19m 6s main
main
19m 6s
fix(ci): repair dogfood-gate.yml — the workflow has never run (#48) BoJ Server Build Trigger #77: Commit fa37e19 pushed by hyperpolymath
2m 12s main
main
2m 12s
fix(ci): close the governance gate — SPDX, permissions, SHA pins, reu… BoJ Server Build Trigger #76: Commit ca1b56a pushed by hyperpolymath
3h 20m 17s main
main
3h 20m 17s
security: re-pin secret scanner onto the real gitleaks gate (#46) BoJ Server Build Trigger #75: Commit 12b305b pushed by hyperpolymath
1m 1s main
main
1m 1s
ci: Secret Scanner caller must grant the reusable's job permissions (… BoJ Server Build Trigger #74: Commit 31d70df pushed by hyperpolymath
33m 54s main
main
33m 54s
fix(ci): clear OSSF Scorecard startup_failure (#44) BoJ Server Build Trigger #73: Commit 1cf7d9d pushed by hyperpolymath
53m 45s main
main
53m 45s
fix(clade): correct identity uuid (deterministic v5) (#43) BoJ Server Build Trigger #72: Commit a95cc52 pushed by hyperpolymath
29s main
main
29s
ci: fmt under stable 1.96 to make rust-ci green (follow-up) (#42) BoJ Server Build Trigger #71: Commit 3c05860 pushed by hyperpolymath
19s main
main
19s
ci: make CI genuinely green — rust-ci toolchain pin + canonical Julia… BoJ Server Build Trigger #70: Commit 65adbce pushed by hyperpolymath
15s main
main
15s
ABI Layer 5: end-to-end soundness capstone certificate (#40) BoJ Server Build Trigger #69: Commit e687c88 pushed by hyperpolymath
9s main
main
9s
ABI Layer 4: prove the FFI result-code seam is injective + faithful (… BoJ Server Build Trigger #68: Commit 5b37667 pushed by hyperpolymath
10s main
main
10s
ABI Layer 3: affine composition law over disjoint variable sets (#38) BoJ Server Build Trigger #67: Commit befb22e pushed by hyperpolymath
20s main
main
20s
ABI Layer 2: prove affine usage (use-at-most-once) — flagship Idris2 … BoJ Server Build Trigger #66: Commit bd08c30 pushed by hyperpolymath
12s main
main
12s
ci: refresh standards reusable pins to current HEAD (d7c2271) (#36) BoJ Server Build Trigger #65: Commit cc37b35 pushed by hyperpolymath
1m 39s main
main
1m 39s
ci: add ABI↔FFI conformance gate (#35) BoJ Server Build Trigger #64: Commit 6532bc9 pushed by hyperpolymath
59s main
main
59s
Auto-install pinned Zig toolchain in setup + devcontainer (#34) BoJ Server Build Trigger #63: Commit 703fd16 pushed by hyperpolymath
42s main
main
42s
ABI: make Idris2 proofs genuinely compile + add machine-checked theor… BoJ Server Build Trigger #62: Commit 412ae57 pushed by hyperpolymath
33s main
main
33s
Normalize licensing to MPL-2.0 (code) + CC-BY-SA-4.0 (docs) (#32) BoJ Server Build Trigger #61: Commit 2a34624 pushed by hyperpolymath
2m 56s main
main
2m 56s
docs(readme): convert README.adoc -> Markdown (renders on Glama/profi… BoJ Server Build Trigger #60: Commit d2d08ea pushed by hyperpolymath
22m 34s main
main
22m 34s
chore(clade): backfill [status] lifecycle block (#29) BoJ Server Build Trigger #59: Commit a6ffd68 pushed by hyperpolymath
17h 2m 1s main
main
17h 2m 1s