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