Bump hax-lib-macros from `503591c` to `288f77f` · cryspen/libcrux@b09aaa7

Triggered via pull request September 23, 2024 02:27

opened #597

Status Success

Total duration 46m 51s

Artifacts 2

c.yml

on: pull_request

Matrix: build

Matrix: build-header-only

Produced during runtime

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