Skip to content

v0.1.0

Choose a tag to compare

View all tags
@github-actions github-actions released this 17 Feb 22:20
· 26 commits to main since this release
v0.1.0
b2ccae7 
fix: clone dafny with git instead of actions/checkout
Assets 6
Loading