chore: fix dafny version release scripts #746
Triggered via pull request
September 17, 2024 19:49
josecorella
Status
Success
Total duration
1m 29s
Artifacts
–
sem_ver.yml
on: pull_request
semantic-release
1m 14s