The implementation and proof of Zipper to match regex #45
Triggered via pull request
November 27, 2024 15:50
samuelchassot
Status
Success
Total duration
1h 39m 19s
Artifacts
–
bolts-CI.yml
on: pull_request
tests
1h 39m
fail_if_pull_request_is_draft
0s