Build and release Stage

chore: fix document path (#615) #308

Sign in to view logs

Triggered via push December 6, 2023 10:13

github-merge-queue[bot]

main

Status Success

Total duration 1h 11m 54s

Artifacts –

This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

release-test-stage.yml

on: push

Test changed-files

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

Matrix: Build GAR prover / Build GAR prover