Skip to content

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

Make AIR Dynamic, and embed them along the Prover

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

Triggered via pull request December 23, 2025 16:49
@fmolettafmoletta
synchronize #1059
dyn_air
Status Cancelled
Total duration 2m 0s
Artifacts

ci.yaml

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

Annotations

9 errors and 2 warnings
Compile
Canceling since a higher priority waiting request for dyn_air exists
Compile
The operation was canceled.
Test (Ubuntu)
Canceling since a higher priority waiting request for dyn_air exists
Test (Ubuntu)
The operation was canceled.
Lint
Canceling since a higher priority waiting request for dyn_air exists
Lint
The operation was canceled.
Test (macOS, Apple sillicon)
Canceling since a higher priority waiting request for dyn_air exists
Test (macOS, Apple sillicon)
The operation was canceled.
CI
Canceling since a higher priority waiting request for dyn_air exists
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