Skip to content

Make AIR Dynamic, and embed them along the Prover #4633

Make AIR Dynamic, and embed them along the Prover

Make AIR Dynamic, and embed them along the Prover #4633

Triggered via pull request December 23, 2025 16:50
@fmolettafmoletta
synchronize #1059
dyn_air
Status Success
Total duration 5m 15s
Artifacts

ci.yaml

on: pull_request
Upload Coverage to Codecov
10s
Upload Coverage to Codecov
Fit to window
Zoom out
Zoom in

Annotations

2 warnings
Test (macOS, Apple sillicon)
gmp 6.3.0 is already installed and up-to-date. To reinstall 6.3.0, run: brew reinstall gmp
Test (macOS, Apple sillicon)
gcc 15.2.0 is already installed and up-to-date. To reinstall 15.2.0, run: brew reinstall gcc