Make creusot-contracts build on stable toolchain #4572
Lysxiarust.yml
on: pull_request
why3-deps
22s
fmt
24s
contracts-build
25s
contracts-build-stable
11s
build
4m 53s
Artifacts
Produced during runtime
| Name | Size | |
|---|---|---|
|
why3-deps
|
85.3 MB |
|