Skip to content
Test Generated Rust

Bump etc/coq-scripts from 7b54b75 to 5876e80 #5200

Sign in to view logs

Bump etc/coq-scripts from 7b54b75 to 5876e80

Bump etc/coq-scripts from 7b54b75 to 5876e80 #5200

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Build on no_std target (thumbv7em-none-eabi)
17s
test-rust
2m 43s
test-rust-check-all
6s
3m 6s