New issue

Have a question about this project? # for a free GitHub account to open an issue and contact its maintainers and the community.

#

By clicking “#”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? # to your account

Jump to bottom

Version 1.6.1 fails with older nightly builds #18

Open

davidcok opened this issue Mar 8, 2023 · 0 comments

davidcok commented Mar 8, 2023

Running 1.6.1 got this error. Note the 2/18 date on the nightly.

Run dafny-lang/setup-dafny-action@v1.6.1
2
with:
3
dafny-version: nightly-2023-02-18-ef4f346
4
Dafny Url: https://github.com/dafny-lang/dafny/releases/download/nightly/dafny-nightly-2023-02-18-ef4f346-x64-ubuntu-20.04.zip
5
Dafny Distribution: ubuntu-20.04

# for free to join this conversation on GitHub. Already have an account? # to comment