chore(main): release prover 9.1.0 (#460) #299
github-merge-queue[bot]
This run and associated checks have been archived and are scheduled for deletion.
Learn more about checks retention
release-test-stage.yml
on: push
Setup
15s
Test changed-files
17s
Matrix: Build and push images / Build and Push Docker Images
Matrix: Build and push images / Build and Push Docker Images
Build GAR prover FRI GPU
/
Build prover FRI GPU GAR
15m 42s
Matrix: Build GAR prover / Build GAR prover
Annotations
6 errors
|
Build GAR prover / Build GAR prover (7, 14,15)
Canceling since a higher priority waiting request for 'Build and release Stage-refs/heads/main' exists
|
|
Build GAR prover / Build GAR prover (7, 14,15)
The operation was canceled.
|
|
Build GAR prover / Build GAR prover (3, 6,7)
Canceling since a higher priority waiting request for 'Build and release Stage-refs/heads/main' exists
|
|
Build GAR prover / Build GAR prover (3, 6,7)
The operation was canceled.
|
|
Build GAR prover / Build GAR prover (4, 8,9)
Canceling since a higher priority waiting request for 'Build and release Stage-refs/heads/main' exists
|
|
Build GAR prover / Build GAR prover (4, 8,9)
The operation was canceled.
|