Merge pull request #575 from cryspen/fix-c-extraction · cryspen/libcrux@a94aed7

Triggered via push September 13, 2024 07:45

dev

Status Success

Total duration 23m 1s

Artifacts 2

c.yml

on: push

Matrix: build

Matrix: build-header-only

Produced during runtime

Name	Size
c-extraction	209 KB
header-only-c-extraction	140 KB