Use latest Jasmin release (2023.06.3) #34
Triggered via pull request
April 17, 2024 07:50
vbgl
Status
Success
Total duration
2h 21m 26s
Artifacts
–
extract-and-prove.yml
on: pull_request
Build & Prove
2h 21m