feat(ci/hax): simplify using hacspec/hax-actions
#699
Triggered via pull request
February 28, 2024 15:39
Status
Success
Total duration
24m 37s
Artifacts
–