Skip to content
Back to pull request #1974

Bump etc/coq-scripts from e4d9e81 to 4327aa1 #5692

Sign in to view logs

Bump etc/coq-scripts from e4d9e81 to 4327aa1

Bump etc/coq-scripts from e4d9e81 to 4327aa1 #5692

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Build on no_std target (thumbv7em-none-eabi)
12s
test-rust
2m 51s
test-rust-check-all
7s
3m 10s