Make creusot-contracts build on stable toolchain #4568
rust.yml
on: pull_request
why3-deps
28s
fmt
25s
contracts-build
44s
contracts-build-stable
8s
build
5m 5s
Annotations
1 error
fmt
Process completed with exit code 1.
|
Artifacts
Produced during runtime
Name | Size | |
---|---|---|
why3-deps
|
85.3 MB |
|