Build and release Stage

chore(metrics): Rename job attempts label (#471) #209

Sign in to view logs

Triggered via push November 13, 2023 09:20

github-merge-queue[bot]

main

Status Success

Total duration 18m 13s

Artifacts –

release-test-stage.yml

on: push

Test changed-files

Matrix: Build and push images / Build and Push Docker Images

Waiting for pending jobs

Matrix: Build and push images / Build and Push Docker Images

Build GAR prover FRI GPU / Build prover FRI GPU GAR

Matrix: Build GAR prover / Build GAR prover

Waiting for pending jobs