Skip to content

Commit 73fd4fc

Browse files
author
davidcok
committed
Updating the dafny version of the windows build to test
1 parent 3735b83 commit 73fd4fc

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

.github/workflows/release-downloads.yml

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -27,7 +27,7 @@ jobs:
2727
osn: 'osx'
2828
- os: 'windows-latest'
2929
osn: 'win'
30-
ver: '3.0.0-PreRelease2'
30+
ver: '3.0.0-PreRelease3'
3131
# There is no hosted environment for Unbuntu 14.04 or for debian
3232

3333
# Java is installed by default, but we need to select 1.8

0 commit comments

Comments
 (0)