Skip to content
Rust

creusot-setup: provide more hints in case of issues (mismatched solver versions) #4622

Sign in to view logs

creusot-setup: provide more hints in case of issues (mismatched solver versions)

creusot-setup: provide more hints in case of issues (mismatched solver versions) #4622

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build
1m 43s
why3-deps
23s
contracts-build
27s
fmt
24s
why3
2m 51s
install
2m 11s
7m 59s