Merge pull request #682 from cryspen/franziskus/mlkem-report · cryspen/libcrux@e72d25c

Triggered via push November 18, 2024 07:17

main

Status Success

Total duration 33m 7s

Artifacts 2

c.yml

on: push

Matrix: build

Matrix: build-header-only

Produced during runtime

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