feat(ci/hax): simplify using hacspec/hax-actions
#701
Triggered via pull request
February 28, 2024 16:36
Status
Success
Total duration
36m 36s
Artifacts
–