Starting proofs for ML-DSA Arithmetic · cryspen/libcrux@c4bb39e

Triggered via pull request October 23, 2024 10:07

synchronize #594

ml-dsa-arithmetic

Status Failure

Total duration 24m 6s

Artifacts 2

c.yml

on: pull_request

Matrix: build

Matrix: build-header-only

2 errors

Process completed with exit code 1.

Process completed with exit code 1.

Produced during runtime

Name	Size
c-extraction	223 KB
header-only-c-extraction	163 KB