Extract & Check proofs

testing: mlkem_ref pass #83

Sign in to view logs

Triggered via push July 26, 2024 06:24

tfaoliveira

feature/testing

Status Cancelled

Total duration 9m 26s

Artifacts –

extract-and-prove.yml

on: push

Annotations

2 errors

Build & Prove

The run was canceled by @tfaoliveira-sb.

Build & Prove

The operation was canceled.