Ensure dafny.msbuild is released properly
Open
- Dominant language
- Rust
- Stars
- 66
- Forks
- 30
- Avg merge
- 1d 23h
- Merged PRs (30d)
- 1
Description
See https://github.com/dafny-lang/dafny.msbuild/issues/14.
Since this is part of the build process for this package, it should be properly released and maintained as an official Dafny utility.
Contributor guide
Research direction
Start with the linked dafny.msbuild issue 14 and inspect how this package currently participates in the Dafny build and release process. Determine the required release and maintenance changes for it to become an official Dafny utility; the issue does not name repository files or tests to run.
Written by the indexing model from the issue text.
Assessment
- Domain
- build-system, release
- Issue type
- Feature
- Difficulty
- 5/5
- Estimated time
- Over a week
- Activity status
- Stale
- Clarity
- Needs clarification
- Newbie friendliness
- 20/100