Merge pull request #587 from cryspen/dev-serialize · cryspen/libcrux@04a7e4f

Triggered via push September 24, 2024 16:28

dev

Status Success

Total duration 26m 12s

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	150 KB