Make creusot-contracts build on stable toolchain #4570
Lysxiarust.yml
on: pull_request
why3-deps
22s
fmt
27s
contracts-build
37s
contracts-build-stable
20s
build
2m 14s
Artifacts
Produced during runtime
| Name | Size | |
|---|---|---|
|
why3-deps
|
85.3 MB |
|