Skip to content

Actions: hyperpolymath/oblibeniser

Actions

Rust CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
rust-ci.yml
101 workflow runs
101 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 #101: Commit c30a848 pushed by hyperpolymath
4h 1m 40s main
main
4h 1m 40s
fix(ci): close the governance gate — SPDX, permissions, SHA pins, reusable bump Rust CI #100: Pull request #40 opened by hyperpolymath
54m 9s fix/governance-gate-sweep
fix/governance-gate-sweep
54m 9s
security: re-pin secret scanner onto the real gitleaks gate (#39) Rust CI #99: Commit 2c76458 pushed by hyperpolymath
1h 4m 19s main
main
1h 4m 19s
Rust CI Rust CI #98: 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 #97: Commit 1e7b0a1 pushed by hyperpolymath
Startup failure main
main
Startup failure
Rust CI Rust CI #96: opened by hyperpolymath
Startup failure ci/secret-scanner-caller-perms
ci/secret-scanner-caller-perms
Startup failure
fix(ci): clear OSSF Scorecard startup_failure (#37) Rust CI #95: Commit 5b767aa pushed by hyperpolymath
Startup failure main
main
Startup failure
Rust CI Rust CI #94: opened by hyperpolymath
Startup failure fix/scorecard-caller-startup
fix/scorecard-caller-startup
Startup failure
fix(clade): correct identity uuid (deterministic v5) (#36) Rust CI #93: Commit 10a7bd7 pushed by hyperpolymath
Startup failure main
main
Startup failure
Rust CI Rust CI #92: opened by hyperpolymath
Startup failure fix/clade-uuid
fix/clade-uuid
Startup failure
ci: make CI genuinely green — rust-ci toolchain pin (#35) Rust CI #91: Commit 756a0b2 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
Rust CI Rust CI #89: opened by hyperpolymath
-1s claude/new-session-znxgm7
claude/new-session-znxgm7
-1s
ABI Layer 5: end-to-end soundness capstone certificate (#34) Rust CI #88: Commit 069f62c pushed by hyperpolymath
Startup failure main
main
Startup failure
Rust CI Rust CI #87: 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 #86: Commit 7c5e848 pushed by hyperpolymath
Startup failure main
main
Startup failure
Rust CI Rust CI #85: synchronize by hyperpolymath
Startup failure claude/new-session-znxgm7
claude/new-session-znxgm7
Startup failure
ABI Layer 3: reversible operations form a group (modulo denotational … Rust CI #84: Commit a9d2af7 pushed by hyperpolymath
3m 57s main
main
3m 57s
ABI Layer 3: reversible operations form a group (modulo denotational equivalence) Rust CI #83: Pull request #32 synchronize by hyperpolymath
40s claude/new-session-znxgm7
claude/new-session-znxgm7
40s
ABI Layer 2: prove operation reversibility (round-trip law) — flagshi… Rust CI #82: Commit e921fd6 pushed by hyperpolymath
1m 51s main
main
1m 51s
ABI Layer 2: prove operation reversibility (round-trip law) — flagship Idris2 proof Rust CI #81: Pull request #31 opened by hyperpolymath
2m 47s claude/new-session-znxgm7
claude/new-session-znxgm7
2m 47s
ci: refresh standards reusable pins to current HEAD (d7c2271) (#30) Rust CI #80: Commit 2d43666 pushed by hyperpolymath
3h 4m 46s main
main
3h 4m 46s
ci: refresh standards reusable pins to current HEAD (d7c2271) Rust CI #79: Pull request #30 opened by hyperpolymath
1h 35m 47s ci/repin-standards-reusables-d7c2271
ci/repin-standards-reusables-d7c2271
1h 35m 47s
P1: fix Zig FFI to build and match the Idris2 ABI (#29) Rust CI #78: Commit f42c879 pushed by hyperpolymath
2m 51s main
main
2m 51s
P1: fix Zig FFI to build and match the Idris2 ABI Rust CI #77: Pull request #29 opened by hyperpolymath
20s claude/new-session-1fphit
claude/new-session-1fphit
20s