Merge pull request #608 from cryspen/jonas/pre-hashed · cryspen/libcrux@fd43045

Triggered via push October 1, 2024 13:59

main

Status Success

Total duration 35m 53s

Artifacts 2

c.yml

on: push

Matrix: build

Matrix: build-header-only

Produced during runtime

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