Make creusot-contracts build on stable toolchain #4610
Lysxiarust.yml
on: pull_request
why3-deps
23s
fmt
25s
contracts-build
44s
contracts-build-stable
34s
build
5m 2s
Artifacts
Produced during runtime
| Name | Size | |
|---|---|---|
|
why3-deps
|
85.3 MB |
|