Make creusot-contracts build on stable toolchain #4567
rust.yml
on: pull_request
why3-deps
23s
fmt
38s
contracts-build
38s
contracts-build-stable
6s
build
2m 8s
Artifacts
Produced during runtime
Name | Size | |
---|---|---|
why3-deps
|
85.3 MB |
|