Skip to content
Extract & Check proofs

CI: use ghcr docker image + simplify script #63

Sign in to view logs

CI: use ghcr docker image + simplify script

CI: use ghcr docker image + simplify script #63

Triggered via push July 21, 2024 07:59
@strubstrub
pushed 13f1b0f
ci-ghcr
Status Success
Total duration 2h 24m 54s
Artifacts –

extract-and-prove.yml

on: push
Build & Prove
2h 24m
Build & Prove
Fit to window
Zoom out
Zoom in