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