Add a dev shell · cryspen/libcrux@7ff903d

Triggered via pull request October 2, 2024 10:09

synchronize #610

Nadrieril:dev-shell

Status Success

Total duration 24m 40s

Artifacts 2

c.yml

on: pull_request

Matrix: build

Matrix: build-header-only

Produced during runtime

Name	Size
c-extraction Expired	221 KB
header-only-c-extraction Expired	156 KB