Skip to content
Extract & Check proofs

CI: use ghcr docker image + simplify script #59

Sign in to view logs

CI: use ghcr docker image + simplify script

CI: use ghcr docker image + simplify script #59

Triggered via push July 21, 2024 07:41
@strubstrub
pushed 65e54b1
ci-ghcr
Status Cancelled
Total duration 12m 18s
Artifacts –

extract-and-prove.yml

on: push
Build & Prove
12m 9s
Build & Prove
Fit to window
Zoom out
Zoom in

Annotations

2 errors
Build & Prove
The run was canceled by @strub.
Build & Prove
The operation was canceled.