Ecosyste.ms: Issues

An open API service for providing issue and pull request metadata for open source projects.

GitHub / alex-chew issue stats

Total issues: 25
Total pull requests: 53
Merged pull request: 46
Average time to close issues: 7 months
Average time to close pull requests: 23 days
Average comments per issue: 1.32
Average comments per pull request: 0.55

Issues created

Pull requests created

dafny-lang/dafny: 26
dafny-lang/libraries: 8
dafny-lang/ide-vscode: 6
dafny-lang/dafny-lang.github.io: 4
dafny-lang/blog: 2
themix-project/themix-gui: 2
plsyssec/fact: 2
dafny-lang/dafny.msbuild: 1
aws/aws-cryptographic-material-providers-library: 1
awslabs/duvet: 1

Maintainer

Active Maintainer

Issue Author Associations

Contributor (25, 100.00%)

Pull Request Author Associations

Contributor (53, 100.00%)

Top Issue Labels

kind: enhancement (9)
kind: bug (5)
part: code-generation (4)
enhancement (3)
priority: next (3)
part: CLI (2)
lang: java (2)
priority: not yet (2)
lang: c# (2)
invalid translated code (2)
lang: rust (1)
during 2: compilation of correct program (1)
crash (1)
lang: python (1)
part: runtime (1)

Top Pull Request Labels

run-deep-tests (2)