Skip to content

Actions: hyperpolymath/iseriser

Actions

BoJ Server Build Trigger

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
boj-build.yml
107 workflow runs
107 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 #107: Commit 5581786 pushed by hyperpolymath
3h 4m 19s main
main
3h 4m 19s
security: re-pin secret scanner onto the real gitleaks gate (#82) BoJ Server Build Trigger #106: Commit ad848dd pushed by hyperpolymath
12m 45s main
main
12m 45s
ci: Secret Scanner caller must grant the reusable's job permissions (… BoJ Server Build Trigger #105: Commit bcf7ad8 pushed by hyperpolymath
22m 48s main
main
22m 48s
fix(ci): clear OSSF Scorecard startup_failure (#80) BoJ Server Build Trigger #104: Commit fe437da pushed by hyperpolymath
50m 51s main
main
50m 51s
fix(clade): correct identity uuid (deterministic v5) (#79) BoJ Server Build Trigger #103: Commit eb6e962 pushed by hyperpolymath
3m 10s main
main
3m 10s
ci: fmt + clippy under stable 1.96 to make rust-ci green (follow-up) … BoJ Server Build Trigger #102: Commit 356017a pushed by hyperpolymath
13s main
main
13s
ci: make CI genuinely green — rust-ci toolchain pin + canonical Julia… BoJ Server Build Trigger #101: Commit 2ae2976 pushed by hyperpolymath
8s main
main
8s
ABI Layer 5: end-to-end soundness capstone certificate (#76) BoJ Server Build Trigger #100: Commit e369b3c pushed by hyperpolymath
8s main
main
8s
ABI Layer 4: prove the FFI result-code seam is injective + faithful (… BoJ Server Build Trigger #99: Commit 2e9d19f pushed by hyperpolymath
7s main
main
7s
ABI Layer 3: generation soundness (genScaffold always Conformant) + u… BoJ Server Build Trigger #98: Commit 10b0a71 pushed by hyperpolymath
11s main
main
11s
feat(abi): prove Conformant scaffold property (Layer 2 Semantics) (#73) BoJ Server Build Trigger #97: Commit 9d5e5d8 pushed by hyperpolymath
28s main
main
28s
ci: refresh standards reusable pins to current HEAD (d7c2271) (#72) BoJ Server Build Trigger #96: Commit 024dbbd pushed by hyperpolymath
1h 10m 3s main
main
1h 10m 3s
ci: add ABI↔FFI conformance gate (#71) BoJ Server Build Trigger #95: Commit a7ccd57 pushed by hyperpolymath
9s main
main
9s
iseriser: auto-install pinned Zig toolchain in setup + devcontainer (… BoJ Server Build Trigger #94: Commit 13208cd pushed by hyperpolymath
32s main
main
32s
iseriser: codegen emits verified, compiling Idris2 ABI (P2) (#69) BoJ Server Build Trigger #93: Commit 1b23126 pushed by hyperpolymath
8s main
main
8s
iseriser: normalize licensing to MPL-2.0 (code) + CC-BY-SA-4.0 (docs)… BoJ Server Build Trigger #92: Commit 5f6dc0d pushed by hyperpolymath
8s main
main
8s
iseriser: make Phase 0 ABI proofs genuinely compile and verify (#67) BoJ Server Build Trigger #91: Commit 6f102af pushed by hyperpolymath
8s main
main
8s
docs(readme): convert README.adoc -> Markdown README.md (#66) BoJ Server Build Trigger #90: Commit c0eb925 pushed by hyperpolymath
51m 40s main
main
51m 40s
chore(clade): backfill [status] lifecycle block (default active) (#64) BoJ Server Build Trigger #89: Commit 3f5a7e5 pushed by hyperpolymath
18h 40m 41s main
main
18h 40m 41s
chore(ci): add dormant push-email notification workflow (#65) BoJ Server Build Trigger #88: Commit a484e7f pushed by hyperpolymath
18h 5m 13s main
main
18h 5m 13s
chore(licence): normalise to MPL-2.0 (code) + CC-BY-SA-4.0 (docs) (#63) BoJ Server Build Trigger #87: Commit 8d9911e pushed by hyperpolymath
10h 28m 22s main
main
10h 28m 22s
chore(ci): bump standards reusable workflow pins to d135b05bfc64 (#62) BoJ Server Build Trigger #86: Commit 3438a24 pushed by hyperpolymath
8h 15m 32s main
main
8h 15m 32s
chore(nix->guix): remove flake.nix (Guix-only estate policy) (#61) BoJ Server Build Trigger #85: Commit 79155ba pushed by hyperpolymath
36m 27s main
main
36m 27s
chore: retire local issue/discussion templates -> inherit org .github… BoJ Server Build Trigger #84: Commit 08363bd pushed by hyperpolymath
59m 5s main
main
59m 5s
ci: adopt standards reusable workflows for Scorecard, Hypatia, and Go… BoJ Server Build Trigger #83: Commit 14b82f0 pushed by hyperpolymath
30m 13s main
main
30m 13s