Fix c extraction on dev · cryspen/libcrux@e22fa84

Triggered via pull request September 13, 2024 06:22

synchronize #575

fix-c-extraction

Status Failure

Total duration 10m 36s

Artifacts 2

c.yml

on: pull_request

Matrix: build

Matrix: build-header-only

1 error

Process completed with exit code 2.

Produced during runtime

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