Merge pull request #646 from cryspen/ml-dsa-lax · cryspen/libcrux@5ddbf9e

Triggered via push November 5, 2024 11:42

main

Status Success

Total duration 30m 53s

Artifacts 2

c.yml

on: push

Matrix: build

Matrix: build-header-only

Produced during runtime

Name	Size
c-extraction	234 KB
header-only-c-extraction	168 KB