Skip to content
Rust CLI Tests

fix(ci): repair branch payload — remove invalid root-level timeout-mi… #153

Sign in to view logs

fix(ci): repair branch payload — remove invalid root-level timeout-mi…

fix(ci): repair branch payload — remove invalid root-level timeout-mi… #153

Triggered via push July 1, 2026 21:15
@hyperpolymathhyperpolymath
pushed 06c4544
proofs/q5-propositional-equiv-restructure
Status Success
Total duration 1m 36s
Artifacts –

rust-cli.yml

on: push
Test Rust CLI
1m 32s
Test Rust CLI
Verify Lean 4 Proofs
10s
Verify Lean 4 Proofs
Code coverage (llvm-cov)
44s
Code coverage (llvm-cov)
Fit to window
Zoom out
Zoom in