Skip to content
Extract & Check proofs

only the write 128 safe function to go #214

Sign in to view logs

only the write 128 safe function to go

only the write 128 safe function to go #214

Triggered via push February 12, 2025 14:38
@mbbarbosambbarbosa
pushed 08821e6
bdep
Status Failure
Total duration 1m 17s
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.