Make creusot-contracts build on stable toolchain #4569
rust.yml
on: pull_request
why3-deps
27s
fmt
27s
contracts-build
33s
contracts-build-stable
17s
build
2m 3s
Artifacts
Produced during runtime
Name | Size | |
---|---|---|
why3-deps
|
85.3 MB |
|