Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / dafny-lang/setup-dafny-action issues and pull requests
#18 - Version 1.6.1 fails with older nightly builds
Issue -
State: open - Opened by davidcok over 1 year ago
#17 - Update after Dafny 4.0 for Ubuntu
Issue -
State: closed - Opened by DavePearce over 1 year ago
- 2 comments
#16 - Specify latest version in README
Pull Request -
State: open - Opened by robin-aws over 1 year ago
#15 - fix: Handle distribution identifier changes in Dafny 3.13/4.0
Pull Request -
State: closed - Opened by robin-aws over 1 year ago
#14 - feat: Add separate input for latest nightly
Pull Request -
State: open - Opened by robin-aws over 1 year ago
#13 - Support “nightly-latest” version
Pull Request -
State: closed - Opened by robin-aws over 1 year ago
- 3 comments
#12 - Support easy "latest nightly" version
Issue -
State: closed - Opened by robin-aws over 1 year ago
#11 - Allow installation of specific Z3 versions
Issue -
State: open - Opened by atomb over 1 year ago
#10 - Document release process
Issue -
State: open - Opened by robin-aws over 1 year ago
#9 - Stop updating v1 tag, encourage referencing specific version instead
Issue -
State: open - Opened by robin-aws over 1 year ago
#8 - feat: Include dafny-reportgenerator as well
Pull Request -
State: closed - Opened by robin-aws over 1 year ago
#7 - Install dafny-reportgenerator
Issue -
State: closed - Opened by seebees over 1 year ago
#6 - the v1 tag does not point to the most recent release
Issue -
State: closed - Opened by seebees almost 2 years ago
- 1 comment
#5 - feat: Support Windows and Nightly builds
Pull Request -
State: closed - Opened by seebees almost 2 years ago
- 1 comment
#4 - Trigger CI on PRs
Pull Request -
State: closed - Opened by robin-aws over 2 years ago
#3 - Make versions 3.3.0 and 3.4.0 available
Pull Request -
State: closed - Opened by atomb over 2 years ago
- 1 comment
#2 - My test draft issue
Issue -
State: closed - Opened by robin-aws over 2 years ago
#1 - Relocate under dafny-lang?
Issue -
State: closed - Opened by robin-aws almost 3 years ago
- 7 comments