Skip to content
Build Book

Merge branch 'main' of https://github.com/model-checking/verify-rust-… #67

Sign in to view logs

Merge branch 'main' of https://github.com/model-checking/verify-rust-…

Merge branch 'main' of https://github.com/model-checking/verify-rust-… #67

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build
4m 32s
deploy
0s
4m 32s