Skip to content
GitHub Pages

fix(rust-cli): real Lean precondition checks in verification.rs (P0-5… #294

Sign in to view logs

fix(rust-cli): real Lean precondition checks in verification.rs (P0-5…

fix(rust-cli): real Lean precondition checks in verification.rs (P0-5… #294

Triggered via push October 2, 2026 12:33
@hyperpolymathhyperpolymath
pushed c033e9e
main
Status Success
Total duration 8m 40s
Artifacts –

casket-pages.yml

on: push
build
2m 22s
build
deploy
16s
deploy
https://hyperpolymath.github.io/valence-shell/
Fit to window
Zoom out
Zoom in

Annotations

2 notices
build
"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"
deploy
"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"