Adding Zippers implementation and verification, and some benchmarks #76
Triggered via pull request
December 12, 2024 10:28
samuelchassot
Status
Success
Total duration
1h 33m 22s
Artifacts
–
bolts-CI.yml
on: pull_request
tests
1h 33m
fail_if_pull_request_is_draft
0s