Skip to content
Back to pull request #7105

feat: Several updates in SMT verification module #12901

Sign in to view logs

feat: Several updates in SMT verification module

feat: Several updates in SMT verification module #12901

Triggered via pull request June 19, 2024 16:42
@Rumata888Rumata888
synchronize #7105
as/smt-verification-upmodule-update-4
Status Success
Total duration 28m 14s
Artifacts 1

ci.yml

on: pull_request
changes
6s
changes
setup  /  start-builder
3m 7s
setup / start-builder
build
0s
build
noir-build-acir-tests
19s
noir-build-acir-tests
bb-gcc
5m 46s
bb-gcc
bb-native-tests
13m 1s
bb-native-tests
bb-js-test
6m 29s
bb-js-test
noir-format
0s
noir-format
noir-test
0s
noir-test
noir-examples
5m 51s
noir-examples
noir-packages-test
15m 45s
noir-packages-test
avm-format
0s
avm-format
l1-contracts-test
0s
l1-contracts-test
docs-preview
0s
docs-preview
acir-bench
0s
acir-bench
bb-bench
12m 13s
bb-bench
protocol-circuits-gates-report
9m 47s
protocol-circuits-gates-report
boxes
0s
boxes
Matrix: e2e
yarn-project-formatting
0s
yarn-project-formatting
yarn-project-test
0s
yarn-project-test
prover-client-test
0s
prover-client-test
noir-projects
0s
noir-projects
Matrix: bench-e2e
bb-acir-tests-bb
24m 9s
bb-acir-tests-bb
bb-acir-tests-sol
6m 3s
bb-acir-tests-sol
bb-acir-tests-bb-js
11m 11s
bb-acir-tests-bb-js
Matrix: boxes-test
bench-summary
0s
bench-summary
merge-check
0s
merge-check
rerun-check
0s
rerun-check
notify
0s
notify
Fit to window
Zoom out
Zoom in

Annotations

9 warnings
setup / start-builder
Looped for 1 minutes and could only find spot with no runners!
setup / start-builder
Taking down spot as it has no runners! If we were mistaken, this could impact existing jobs.
protocol-circuits-gates-report
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: vezenovm/noir-gates-diff@acf12797860f237117e15c0d6e08d64253af52b6. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
bb-bench
Performance alert! Previous value was 4996.897889999999 and current value is 5534.598031000001. It is 1.107606789819754x worse than previous exceeding a ratio threshold 1.05
bb-bench
Performance alert! Previous value was 45488.420591999995 and current value is 49054.594570999994. It is 1.078397401637356x worse than previous exceeding a ratio threshold 1.05
bb-bench
Performance alert! Previous value was 15303.914750999998 and current value is 16978.064294. It is 1.1093935486598687x worse than previous exceeding a ratio threshold 1.05
bb-bench
Performance alert! Previous value was 4211003874 and current value is 5179252425. It is 1.2299329518498563x worse than previous exceeding a ratio threshold 1.05
bb-bench
Performance alert! Previous value was 194913884 and current value is 241677977. It is 1.239921815933851x worse than previous exceeding a ratio threshold 1.05
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-upmodule-update-4.protocol_circuits_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-upmodule-update-4.protocol_circuits_report.json Expired
25.4 MB