Skip to content

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

Make AIR Dynamic, and embed them along the Prover

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

Triggered via pull request January 5, 2026 14:45
@fmolettafmoletta
synchronize #1059
dyn_air
Status Success
Total duration 5m 59s
Artifacts

ci.yaml

on: pull_request
Upload Coverage to Codecov
7s
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