Skip to content
Extract & Check proofs

Proof adapted to new compress #127

Sign in to view logs

Proof adapted to new compress

Proof adapted to new compress #127

Triggered via push October 9, 2024 21:12
@mbbarbosambbarbosa
pushed 07e47fa
mlkem768_avx2_gen_matrix_sct_newparse_newcompress10
Status Failure
Total duration 1m 30s
Artifacts –

extract-and-prove.yml

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

Annotations

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