Skip to content

Actions: hyperpolymath/idrisiser

Actions

Rust CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
rust-ci.yml
124 workflow runs
124 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 #124: Commit ba29d2b pushed by hyperpolymath
3h 58m 53s main
main
3h 58m 53s
fix(ci): close the governance gate — SPDX, permissions, SHA pins, reusable bump Rust CI #123: Pull request #52 opened by hyperpolymath
2h 49m 50s fix/governance-gate-sweep
fix/governance-gate-sweep
2h 49m 50s
security: re-pin secret scanner onto the real gitleaks gate (#51) Rust CI #122: Commit 947f2c2 pushed by hyperpolymath
1h 3m 5s main
main
1h 3m 5s
Rust CI Rust CI #121: 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 #120: Commit c875390 pushed by hyperpolymath
Startup failure main
main
Startup failure
Rust CI Rust CI #119: opened by hyperpolymath
Startup failure ci/secret-scanner-caller-perms
ci/secret-scanner-caller-perms
Startup failure
fix(ci): clear OSSF Scorecard startup_failure (#49) Rust CI #118: Commit 813171c pushed by hyperpolymath
Startup failure main
main
Startup failure
Rust CI Rust CI #117: opened by hyperpolymath
Startup failure fix/scorecard-caller-startup
fix/scorecard-caller-startup
Startup failure
fix(clade): correct identity uuid (deterministic v5) (#48) Rust CI #116: Commit 17e2ee2 pushed by hyperpolymath
Startup failure main
main
Startup failure
Rust CI Rust CI #115: opened by hyperpolymath
Startup failure fix/clade-uuid
fix/clade-uuid
Startup failure
ci: fmt under stable 1.96 to make rust-ci green (follow-up) (#47) Rust CI #114: Commit 798961d pushed by hyperpolymath
Startup failure main
main
Startup failure
Rust CI Rust CI #113: synchronize by hyperpolymath
Startup failure claude/new-session-znxgm7
claude/new-session-znxgm7
Startup failure
Rust CI Rust CI #112: opened by hyperpolymath
Startup failure claude/new-session-znxgm7
claude/new-session-znxgm7
Startup failure
ci: make CI genuinely green — rust-ci toolchain pin + canonical Julia… Rust CI #111: Commit 1eedb56 pushed by hyperpolymath
Startup failure main
main
Startup failure
Rust CI Rust CI #110: synchronize by hyperpolymath
Startup failure claude/new-session-znxgm7
claude/new-session-znxgm7
Startup failure
Rust CI Rust CI #109: opened by hyperpolymath
Startup failure claude/new-session-znxgm7
claude/new-session-znxgm7
Startup failure
ABI Layer 5: end-to-end soundness capstone certificate (#45) Rust CI #108: Commit 9e56ba7 pushed by hyperpolymath
Startup failure main
main
Startup failure
Rust CI Rust CI #107: 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 #106: Commit bb2b581 pushed by hyperpolymath
Startup failure main
main
Startup failure
Rust CI Rust CI #105: synchronize by hyperpolymath
Startup failure claude/new-session-znxgm7
claude/new-session-znxgm7
Startup failure
ABI Layer 3: McCarthy store/select array-update laws (write-then-read… Rust CI #104: Commit 7ac70ae pushed by hyperpolymath
1m 36s main
main
1m 36s
ABI Layer 3: McCarthy store/select array-update laws (write-then-read, read-other) Rust CI #103: Pull request #43 synchronize by hyperpolymath
29s claude/new-session-znxgm7
claude/new-session-znxgm7
29s
feat(abi): add Semantics flagship proof — bounded array access safety… Rust CI #102: Commit 29e9bec pushed by hyperpolymath
36s main
main
36s
ABI Layer 2: prove bounded array access (Fin-indexed, total) — flagship Idris2 proof Rust CI #101: Pull request #42 opened by hyperpolymath
26s claude/new-session-znxgm7
claude/new-session-znxgm7
26s
ci: refresh standards reusable pins to current HEAD (d7c2271) (#41) Rust CI #100: Commit 5f53198 pushed by hyperpolymath
3h 14m 12s main
main
3h 14m 12s