Make AIR Dynamic, and embed them along the Prover #3511
iai_benchs_pr.yml
on: pull_request
Fetch iai benchmarks
4m 13s
Run iai benchmarks
0s
Annotations
3 errors
|
Fetch iai benchmarks
Canceling since a higher priority waiting request for CI-refs/pull/1059/merge exists
|
|
Fetch iai benchmarks
The operation was canceled.
|
|
CI
Canceling since a higher priority waiting request for CI-refs/pull/1059/merge exists
|