feat(ci/hax): allow manual workflows to specify hax version · cryspen/libcrux@de946d7

Triggered via pull request November 28, 2024 12:11

W95Psp

opened #700

ci-custom-hax-branches

Status Success

Total duration 32m 37s

Artifacts 2

c.yml

on: pull_request

Matrix: build

Matrix: build-header-only

Produced during runtime

Name	Size
c-extraction	223 KB
header-only-c-extraction	171 KB