GitHub / linesthatinterlace issue stats
Total issues: 4
Total pull requests: 3
Merged pull request: 0
Average time to close issues: N/A
Average time to close pull requests: over 1 year
Average comments per issue: 0.75
Average comments per pull request: 5.67
Issues created
Pull requests created
Maintainer
Active Maintainer
Issue Author Associations
- None (4, 100.00%)
Pull Request Author Associations
- None (3, 100.00%)
Top Issue Labels
Top Pull Request Labels
- toolchain-available (2)
- builds-mathlib (1)
- P-medium (1)
- changelog-library (1)