feat: bump to dafny 4.8.0 and mpl 1.6.0 #728
Triggered via pull request
September 13, 2024 00:02
josecorella
Status
Success
Total duration
1m 54s
Artifacts
–
sem_ver.yml
on: pull_request
semantic-release
1m 40s