Total issues: 9
Total pull requests: 10
Average time to close issues: over 2 years
Average time to close pull requests: about 2 months
Total issue authors: 6
Total pull request authors: 8
Average comments per issue: 2.22
Average comments per pull request: 0.8
Merged pull requests: 6
Bot issues: 0
Bot pull requests: 0

Past year issues: 2
Past year pull requests: 4
Past year average time to close issues: about 2 months
Past year average time to close pull requests: about 1 month
Past year issue authors: 1
Past year pull request authors: 4
Past year average comments per issue: 4.5
Past year average comments per pull request: 0.5
Past year merged pull requests: 4
Past year bot issues: 0
Past year bot pull requests: 0

Issue Author Associations

• None (6, 66.67%)
• Contributor (3, 33.33%)

Pull Request Author Associations

• None (8, 80.00%)
• Contributor (2, 20.00%)

Top Issue Authors

• Ksenia-C (2)
• sthibaul (2)
• jgoldverg (2)
• JRodez (1)
• zeus-cht (1)
• edelpozop (1)

Top Pull Request Authors

• DonAurelio (2)
• JRodez (2)
• Mommessc (1)
• sthibaul (1)
• igornardin (1)
• jnquintin (1)
• saraiva03 (1)
• tanaxer01 (1)

All Maintainers

Active Maintainers

Top Issue Labels

• model-checker (2)

Top Pull Request Labels