Skip to content

Actions: hyperpolymath/a2mliser

Actions

Rust CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
rust-ci.yml
112 workflow runs
112 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): grant secret-scanner reusable its requested job permissions … Rust CI #112: Commit e185099 pushed by hyperpolymath
-1s main
main
-1s
Rust CI Rust CI #111: opened by hyperpolymath
Startup failure ci/secret-scanner-caller-perms
ci/secret-scanner-caller-perms
Startup failure
fix(ci): clear OSSF Scorecard startup_failure (#43) Rust CI #110: Commit 9e7ae73 pushed by hyperpolymath
Startup failure main
main
Startup failure
Rust CI Rust CI #109: opened by hyperpolymath
Startup failure fix/scorecard-caller-startup
fix/scorecard-caller-startup
Startup failure
fix(clade): correct identity uuid (deterministic v5) (#42) Rust CI #108: Commit d266710 pushed by hyperpolymath
Startup failure main
main
Startup failure
Rust CI Rust CI #107: opened by hyperpolymath
Startup failure fix/clade-uuid
fix/clade-uuid
Startup failure
ci: make CI genuinely green — rust-ci toolchain pin + canonical Julia… Rust CI #106: Commit c2bdb0b 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
Rust CI Rust CI #104: opened by hyperpolymath
Startup failure claude/new-session-znxgm7
claude/new-session-znxgm7
Startup failure
ABI Layer 5: end-to-end soundness capstone certificate (#40) Rust CI #103: Commit 6ebff5a pushed by hyperpolymath
Startup failure main
main
Startup failure
Rust CI Rust CI #102: 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 #101: Commit 2127e18 pushed by hyperpolymath
Startup failure main
main
Startup failure
Rust CI Rust CI #100: synchronize by hyperpolymath
Startup failure claude/new-session-znxgm7
claude/new-session-znxgm7
Startup failure
ABI Layer 3: attestation determinism, idempotence + issue→verify roun… Rust CI #99: Commit 8b97dda pushed by hyperpolymath
25s main
main
25s
ABI Layer 3: attestation determinism, idempotence + issue→verify round-trip Rust CI #98: Pull request #38 synchronize by hyperpolymath
30s claude/new-session-znxgm7
claude/new-session-znxgm7
30s
ABI Layer 2: prove attestation binding soundness (tamper-evidence) — … Rust CI #97: Commit 8af3b8c pushed by hyperpolymath
15s main
main
15s
ABI Layer 2: prove attestation binding soundness (tamper-evidence) — flagship Idris2 proof Rust CI #96: Pull request #37 opened by hyperpolymath
14s claude/new-session-znxgm7
claude/new-session-znxgm7
14s
ci: refresh standards reusable pins to current HEAD (d7c2271) (#36) Rust CI #95: Commit ccdc0d4 pushed by hyperpolymath
29s main
main
29s
ci: refresh standards reusable pins to current HEAD (d7c2271) Rust CI #94: Pull request #36 opened by hyperpolymath
22s ci/repin-standards-reusables-d7c2271
ci/repin-standards-reusables-d7c2271
22s
ci: add ABI↔FFI conformance gate (#35) Rust CI #93: Commit de24586 pushed by hyperpolymath
1m 23s main
main
1m 23s
ci: add ABI↔FFI conformance gate Rust CI #92: Pull request #35 opened by hyperpolymath
17s claude/new-session-1fphit
claude/new-session-1fphit
17s
Auto-install pinned Zig toolchain in setup + devcontainer (#34) Rust CI #91: Commit 4160608 pushed by hyperpolymath
5m 58s main
main
5m 58s
Auto-install pinned Zig toolchain in setup + devcontainer Rust CI #90: Pull request #34 opened by hyperpolymath
20s claude/new-session-1fphit
claude/new-session-1fphit
20s
ABI: make Idris2 proofs genuinely compile + add machine-checked theor… Rust CI #89: Commit 543f386 pushed by hyperpolymath
2m 7s main
main
2m 7s
ABI: make Idris2 proofs genuinely compile + add machine-checked theorems Rust CI #88: Pull request #33 synchronize by hyperpolymath
1m 18s claude/iseriser-proofs-review-rtdcwb
claude/iseriser-proofs-review-rtdcwb
1m 18s