Merge pull request #636 from cryspen/jonas/ml-kem-target-feature · cryspen/libcrux@13a5dea

Triggered via push October 21, 2024 21:19

main

Status Success

Total duration 30m 36s

Artifacts 2

c.yml

on: push

Matrix: build

Matrix: build-header-only

Produced during runtime

Name	Size
c-extraction	233 KB
header-only-c-extraction	166 KB