Skip to content
Test Generated Rust

Augment rewrite rule proving tactics for saturated arithmetic #5055

Sign in to view logs

Augment rewrite rule proving tactics for saturated arithmetic

Augment rewrite rule proving tactics for saturated arithmetic #5055

Triggered via pull request December 10, 2023 03:43
@JasonGrossJasonGross
synchronize #1783
JasonGross:more-rewrite-proofs-only
Status Success
Total duration 3m 26s
Artifacts –

rust.yml

on: pull_request
test-rust
3m 3s
test-rust
Build on no_std target (thumbv7em-none-eabi)
22s
Build on no_std target (thumbv7em-none-eabi)
test-rust-check-all
5s
test-rust-check-all
Fit to window
Zoom out
Zoom in