Skip to content
Rust CLI Tests

chore(deps): bump the actions group with 7 updates (#205) #185

Sign in to view logs

chore(deps): bump the actions group with 7 updates (#205)

chore(deps): bump the actions group with 7 updates (#205) #185

Triggered via push September 21, 2026 12:49
@hyperpolymathhyperpolymath
pushed 6107346
main
Status Success
Total duration 6h 8m 47s
Artifacts 1

rust-cli.yml

on: push
Test Rust CLI
2m 46s
Test Rust CLI
Verify Lean 4 Proofs
16s
Verify Lean 4 Proofs
Code coverage (llvm-cov)
2m 12s
Code coverage (llvm-cov)
Fit to window
Zoom out
Zoom in

Annotations

3 notices
Verify Lean 4 Proofs
"The ubuntu-latest label will migrate to Ubuntu 26 beginning October 19, 2026. For more information, see https://github.com/actions/runner-images/issues/14748"
Code coverage (llvm-cov)
"The ubuntu-latest label will migrate to Ubuntu 26 beginning October 19, 2026. For more information, see https://github.com/actions/runner-images/issues/14748"
Test Rust CLI
"The ubuntu-latest label will migrate to Ubuntu 26 beginning October 19, 2026. For more information, see https://github.com/actions/runner-images/issues/14748"

Artifacts

Produced during runtime
Name Size Digest
coverage-lcov
56.6 KB
sha256:13890d4b438fb2fdfe518d2b970f717b8e6e76273d7701d19a9cecc7e5ff8ebf