Merge pull request #618 from cryspen/jonas/ml-kem-acvp · cryspen/libcrux@897008e

Triggered via push October 8, 2024 09:42

main

Status Success

Total duration 22m 53s

Artifacts 2

c.yml

on: push

Matrix: build

Matrix: build-header-only

Produced during runtime

Name	Size
c-extraction	221 KB
header-only-c-extraction	156 KB