microsoft/coyote

[aleks-ivanov]

1.  General Information

Project Name: coyote

GitHub URL: https://github.com/microsoft/coyote

2.  Description

Coyote is a tool designed to help ensure that your C# code is free of annoying concurrency bugs.

3. Contact Person

Name: Pantazis Deligiannis

Email: pdeligia@me.com

GitHub Profile URL: https://github.com/pdeligia

4. Eligibility Criteria

Please complete the following for your project:

• Project has build instructions.
• [x] Yes
• Project has semantic versioning.
• [x] Yes
• Project has dependencies management.
• [ ] Yes
• Project has automated tests.
• [x] Yes
• Project has code quality analysis.
• [x] Yes
• Project has code security scanning.
• [x] Yes
• Project has secrets management.
• [x] Yes
• Project has GitHub releases.
• [x] Yes
• Project has artifacts publishing.
• [x] Yes
• Project has automated deployment.
• [x] Yes
• GitHub Codespaces configuration.
• [ ] Yes

5. Requested contributions

Please list below the features you would like us to contribute to your project e.g. dependency management, code quality and security, automated versioning etc.

• Dependabot
• Codespace

AB#789