Bump hax-lib-macros from `4291b19` to `63432cf` · cryspen/libcrux@a2d8fce

Triggered via pull request November 18, 2024 02:29

opened #687

Status Success

Total duration 2h 1m 52s

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	168 KB