feat: Acir formal proofs #32444
jewelofchaos9ci.yml
on: pull_request
configure
8s
Matrix: e2e
Matrix: kind-network-test
Matrix: bench-e2e
prover-client-test
0s
protocol-circuits-gates-report
0s
public-functions-size-report
0s
notify
0s
Annotations
4 errors and 6 warnings
|
ci-noir-bb
Error: Parameter token or opts.auth is required
|
|
ci-noir-bb
Parameter token or opts.auth is required
|
|
ci-noir-bb
Failed to delete runner: Error: Parameter token or opts.auth is required
|
|
merge-check
Process completed with exit code 1.
|
|
configure
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
base-images
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
bb-native-tests
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
ci-noir-bb
Unexpected input(s) 'username', valid inputs are ['runner_action', 'runner_type', 'run', 'spot_strategy']
|
|
ci-noir-bb
Unexpected input(s) 'username', valid inputs are ['runner_action', 'runner_type', 'run', 'spot_strategy']
|
|
merge-check
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|