Skip to content
Extract & Check proofs

fixed error #216

Sign in to view logs

fixed error

fixed error #216

Triggered via push February 12, 2025 15:56
@mbbarbosambbarbosa
pushed ab37ff5
bdep
Status Failure
Total duration 1m 43s
Artifacts –

extract-and-prove.yml

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

Annotations

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