Merge pull request #593 from cryspen/ml-kem-merge-main · cryspen/libcrux@4a21ab1

Triggered via push September 23, 2024 20:28

dev

Status Success

Total duration 22m 42s

Artifacts 2

c.yml

on: push

Matrix: build

Matrix: build-header-only

Produced during runtime

Name	Size
c-extraction	208 KB
header-only-c-extraction	149 KB