Merge pull request #576 from cryspen/ntt-panic-free · cryspen/libcrux@f0bd4d2

Triggered via push September 29, 2024 23:11

dev

Status Success

Total duration 23m 31s

Artifacts 2

c.yml

on: push

Matrix: build

Matrix: build-header-only

Produced during runtime

Name	Size
c-extraction	210 KB
header-only-c-extraction	150 KB