feat: Several Updates in SMT verification module (part 1) #29965
Sarkoxedci.yml
on: pull_request
configure
9s
rough-rhino-installer
16s
bb-native-tests
11m 44s
noir-format
0s
noir-test
0s
l1-contracts-test
0s
Matrix: bench-e2e
Matrix: e2e
Matrix: kind-network-test
Matrix: network-test
bb-gcc
11m 28s
bb-js-test
13m 7s
noir-examples
0s
noir-packages-test
18m 57s
noir-projects
0s
avm-format
0s
yarn-project-formatting
0s
yarn-project-test
0s
prover-client-test
0s
kind-smoke-test
0s
docs-preview
0s
bb-bench
18m 49s
protocol-circuits-gates-report
0s
public-functions-size-report
15m 29s
bb-acir-tests-bb
9m 11s
bb-acir-tests-bb-ultra-plonk
9m 9s
bb-acir-tests-bb-ultra-honk
9m 10s
bb-acir-tests-bb-client-ivc
9m 3s
bb-acir-tests-sol
9m 10s
bb-acir-tests-sol-honk
9m 9s
bb-acir-tests-bb-js
19m 55s
Matrix: boxes-test
bench-summary
0s
Annotations
3 warnings
|
setup / start-builder
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
bb-bench
Ignoring:{"message":"Account has already reached max permitted templates","code":"MaxTemplateLimitExceeded","time":"2024-12-07T08:21:40.614Z","requestId":"218c8502-08e2-4017-8b9d-9dd958aa5e76","statusCode":400,"retryable":false,"retryDelay":8772.181731326154}
|
|
Deprecation notice: v1, v2, and v3 of the artifact actions
The following artifacts were uploaded using a version of actions/upload-artifact that is scheduled for deprecation: "as-smt-verification-module-update-7.public_functions_report.json".
Please update your workflow to use v4 of the artifact actions.
Learn more: https://github.blog/changelog/2024-04-16-deprecation-notice-v3-of-the-artifact-actions/
|
Artifacts
Produced during runtime
| Name | Size | |
|---|---|---|
|
as-smt-verification-module-update-7.public_functions_report.json
|
73.3 KB |
|