Skip to content
Report gates diff

chore: rename parameter 'filter' to 'level' in 'init_log_level' #4896

Sign in to view logs

chore: rename parameter 'filter' to 'level' in 'init_log_level'

chore: rename parameter 'filter' to 'level' in 'init_log_level' #4896

Triggered via pull request February 20, 2024 02:58
@michaeljkleinmichaeljklein
opened #4403
michaeljklein/init-log-level-param
Status Success
Total duration 3m 6s
Artifacts 2

gates_report.yml

on: pull_request
Matrix: build-nargo
compare_gas_reports
21s
compare_gas_reports
Fit to window
Zoom out
Zoom in

Annotations

1 warning
compare_gas_reports
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: TomAFrench/noir-gates-diff@e7cf131b7e7f044c01615f93f0b855f65ddc02d4. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.

Artifacts

Produced during runtime
Name Size
michaeljklein-init-log-level-param.gates_report.json Expired
10.2 KB
nargo Expired
15.1 MB