Skip to content

Actions: hyperpolymath/eclexiaiser

Actions

Rust CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
rust-ci.yml
106 workflow runs
106 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… Rust CI #106: Commit a50f628 pushed by hyperpolymath
3h 55m 53s main
main
3h 55m 53s
fix(ci): close the governance gate — SPDX, permissions, SHA pins, reusable bump Rust CI #105: Pull request #41 opened by hyperpolymath
1h 50m 10s fix/governance-gate-sweep
fix/governance-gate-sweep
1h 50m 10s
security: re-pin secret scanner onto the real gitleaks gate (#40) Rust CI #104: Commit ac89368 pushed by hyperpolymath
1h 5m 0s main
main
1h 5m 0s
Rust CI Rust CI #103: opened by hyperpolymath
Startup failure security/real-secret-gate
security/real-secret-gate
Startup failure
ci: Secret Scanner caller must grant the reusable's job permissions (… Rust CI #102: Commit 4684a5d pushed by hyperpolymath
Startup failure main
main
Startup failure
Rust CI Rust CI #101: opened by hyperpolymath
Startup failure ci/secret-scanner-caller-perms
ci/secret-scanner-caller-perms
Startup failure
fix(ci): clear OSSF Scorecard startup_failure (#38) Rust CI #100: Commit af6a973 pushed by hyperpolymath
Startup failure main
main
Startup failure
Rust CI Rust CI #99: opened by hyperpolymath
Startup failure fix/scorecard-caller-startup
fix/scorecard-caller-startup
Startup failure
fix(clade): correct identity uuid (deterministic v5) (#37) Rust CI #98: Commit 30cd1df pushed by hyperpolymath
Startup failure main
main
Startup failure
Rust CI Rust CI #97: opened by hyperpolymath
Startup failure fix/clade-uuid
fix/clade-uuid
Startup failure
ci: make CI genuinely green — rust-ci toolchain pin (#36) Rust CI #96: Commit b43c429 pushed by hyperpolymath
Startup failure main
main
Startup failure
Rust CI Rust CI #95: synchronize by hyperpolymath
Startup failure claude/new-session-znxgm7
claude/new-session-znxgm7
Startup failure
Rust CI Rust CI #94: opened by hyperpolymath
Startup failure claude/new-session-znxgm7
claude/new-session-znxgm7
Startup failure
ABI Layer 5: end-to-end soundness capstone certificate (#35) Rust CI #93: Commit fa6b6a0 pushed by hyperpolymath
Startup failure main
main
Startup failure
Rust CI Rust CI #92: synchronize by hyperpolymath
Startup failure claude/new-session-znxgm7
claude/new-session-znxgm7
Startup failure
ABI Layer 4: prove the FFI result-code seam is injective + faithful (… Rust CI #91: Commit d55fbc6 pushed by hyperpolymath
Startup failure main
main
Startup failure
Rust CI Rust CI #90: synchronize by hyperpolymath
Startup failure claude/new-session-znxgm7
claude/new-session-znxgm7
Startup failure
ABI Layer 3: monotonicity of cost accounting + downward-closed budget… Rust CI #89: Commit 7274b8f pushed by hyperpolymath
3m 26s main
main
3m 26s
ABI Layer 3: monotonicity of cost accounting + downward-closed budget Rust CI #88: Pull request #33 synchronize by hyperpolymath
38s claude/new-session-znxgm7
claude/new-session-znxgm7
38s
ABI Layer 2: prove cost conservation (additivity) + budget compliance… Rust CI #87: Commit b67f59e pushed by hyperpolymath
17s main
main
17s
ABI Layer 2: prove cost conservation (additivity) + budget compliance — flagship Idris2 proof Rust CI #86: Pull request #32 opened by hyperpolymath
15s claude/new-session-znxgm7
claude/new-session-znxgm7
15s
ci: refresh standards reusable pins to current HEAD (d7c2271) (#31) Rust CI #85: Commit b1d4db5 pushed by hyperpolymath
3h 8m 25s main
main
3h 8m 25s
ci: refresh standards reusable pins to current HEAD (d7c2271) Rust CI #84: Pull request #31 opened by hyperpolymath
3h 8m 16s ci/repin-standards-reusables-d7c2271
ci/repin-standards-reusables-d7c2271
3h 8m 16s
P1: implement real Zig FFI matching the Idris2 ABI (#30) Rust CI #83: Commit ce8cdc7 pushed by hyperpolymath
2m 7s main
main
2m 7s
P1: implement real Zig FFI matching the Idris2 ABI Rust CI #82: Pull request #30 opened by hyperpolymath
22s claude/new-session-1fphit
claude/new-session-1fphit
22s