CI

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

Sign in to view logs

Triggered via pull request December 23, 2025 16:43

fmoletta

synchronize #1059

dyn_air

Status Failure

Total duration 4m 10s

Artifacts –

ci.yaml

on: pull_request

Test (macOS, Apple sillicon)

Upload Coverage to Codecov

Annotations

2 errors and 2 warnings

Process completed with exit code 2.

Test (macOS, Apple sillicon)

Process completed with exit code 2.

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