Proof gen and verify #3446
andrewmilsoncairo-ci.yaml
on: pull_request
scarb-test
6s
run-tests
27m 35s
format
12s
clippy
1m 2s
merge-gatekeeper
16s
Annotations
3 errors and 1 warning
|
scarb-test
Process completed with exit code 1.
|
|
scarb-test
There was an error when restoring cache: failed to find Scarb.lock
|
|
clippy
Process completed with exit code 101.
|
|
run-tests
Unexpected input(s) 'profile', valid inputs are ['toolchain', 'targets', 'target', 'components']
|