Skip to content
Extract & Check proofs

WIP #168

Sign in to view logs

WIP

WIP #168

Triggered via push November 8, 2024 18:23
@strubstrub
pushed 2a8f5f3
bdep-filter
Status Failure
Total duration 3m 13s
Artifacts –

extract-and-prove.yml

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

Annotations

1 error
Build & Prove
Process completed with exit code 2.