Skip to content
Extract & Check proofs

correct some return types #222

Sign in to view logs

correct some return types

correct some return types #222

Triggered via push February 18, 2025 16:46
@bacelarbacelar
pushed 7a22f64
bdep
Status Failure
Total duration 1m 16s
Artifacts –

extract-and-prove.yml

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

Annotations

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