Skip to content
Extract & Check proofs

CI: use ghcr docker image + simplify script #69

Sign in to view logs

CI: use ghcr docker image + simplify script

CI: use ghcr docker image + simplify script #69

Triggered via push July 21, 2024 16:03
@strubstrub
pushed 6d9e524
master
Status Success
Total duration 2h 29m 11s
Artifacts –

extract-and-prove.yml

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