Skip to content
CI (Coq, docker, dev)

Add test-rust-check-all for more stable branch protection checks #759

Sign in to view logs

Add test-rust-check-all for more stable branch protection checks

Add test-rust-check-all for more stable branch protection checks #759

Run time

Learn about OS pricing on GitHub Actions
Job Run time
master
3h 32m 43s
test-amd64
3h 18m 44s
6h 51m 27s