feat: bump to dafny 4.8.0 and mpl 1.6.0 #729
Triggered via pull request
September 13, 2024 01:17
josecorella
Status
Success
Total duration
1m 28s
Artifacts
–
sem_ver.yml
on: pull_request
semantic-release
1m 15s