Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / leodemoura issue stats
Total issues: 75
Total pull requests: 35
Merged pull request: 32
Average time to close issues: 24 days
Average time to close pull requests: 5 days
Average comments per issue: 1.45
Average comments per pull request: 1.66
Issues created
Pull requests created
Maintainer
Active Maintainer
- leanprover/lean4: 34
- leanprover/lnsym: 2
Issue Author Associations
- Member (73, 97.33%)
- None (2, 2.67%)
Pull Request Author Associations
- Member (35, 100.00%)
Top Issue Labels
- bug (14)
- enhancement (2)
- feature (2)
- P-medium (2)
- editor (2)
- Promises (1)
- PDF (1)
Top Pull Request Labels
- toolchain-available (32)
- changelog-language (25)
- changelog-no (5)
- builds-mathlib (3)
- breaks-mathlib (2)
- release-ci (1)