Skip to content
Build and release Stage

ci: add europe GAR registry for publish (#297) #102

Sign in to view logs

ci: add europe GAR registry for publish (#297)

ci: add europe GAR registry for publish (#297) #102

Triggered via push October 24, 2023 10:31
@github-merge-queuegithub-merge-queue[bot]
pushed 5488a2e
main
Status Success
Total duration 1h 2m 39s
Artifacts –

release-test-stage.yml

on: push
Setup
11s
Setup
Test changed-files
11s
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
15m 9s
Build GAR prover FRI GPU / Build prover FRI GPU GAR
Matrix: Build GAR prover / Build GAR prover
Fit to window
Zoom out
Zoom in