Ensure dafny.msbuild is released properly

Open
  • Is something wrong?
#260 0 comments 0 reactions 0 assignees View on GitHub

Maintainers usually reply within 1 day

Nobody has claimed this yet.

Assessment

Difficulty
5/5
Estimated time
Over a week
Newbie friendliness
20/100
Issue type
Feature
Clarity
Needs clarification
Activity status
Stale
Domain
build-system, release

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.

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.

Dominant language
Rust
Stars
68
Forks
29
Avg merge
1d 15h
Merged PRs (30d)
6

Getting set up

First steps

  1. Read the whole issue, then the project's contributing guide.
  2. Comment on the issue to say you are picking it up — it saves two people doing the same work.
  3. Fork the repository and make your change on a branch.
  4. Open a pull request that references the issue number.

More from aws/aws-encryption-sdk

All issues in aws/aws-encryption-sdk

Similar issues

More Rust issues

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.