Make AIR Dynamic, and embed them along the Prover #3516
iai_benchs_pr.yml
on: pull_request
Fetch iai benchmarks
4m 22s
Run iai benchmarks
1m 11s
Annotations
4 errors and 1 warning
|
Run iai benchmarks
Canceling since a higher priority waiting request for CI-refs/pull/1059/merge exists
|
|
Run iai benchmarks
The operation was canceled.
|
|
Run iai benchmarks
Failed to restore cache entry. Exiting as fail-on-cache-miss is set. Input key: Linux-iai-benchmark-cache-5998a043d7613282977a92fa4bbb8456b4a68117
|
|
CI
Canceling since a higher priority waiting request for CI-refs/pull/1059/merge exists
|
|
Fetch iai benchmarks
Cache save failed.
|