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

#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