Skip all QEDs in program_proof/ in CI #3238

Sign in to view logs

Triggered via push May 8, 2024 18:34

tchajed

master

Status Success

Total duration 57m 34s

Artifacts –

build.yml

on: push

Matrix: build-vos

Matrix: build