GitHub / GaloisInc / crucible issue stats
Last synced: 16 days ago
Total issues: 109
Total pull requests: 93
Average time to close issues: 10 months
Average time to close pull requests: 7 days
Total issue authors: 26
Total pull request authors: 25
Average comments per issue: 1.77
Average comments per pull request: 0.83
Merged pull requests: 84
Bot issues: 0
Bot pull requests: 0
Past year issues: 42
Past year pull requests: 45
Past year average time to close issues: 23 days
Past year average time to close pull requests: 4 days
Past year issue authors: 8
Past year pull request authors: 6
Past year average comments per issue: 0.95
Past year average comments per pull request: 0.98
Past year merged pull requests: 41
Past year bot issues: 0
Past year bot pull requests: 0
JSON API: https://issues.ecosyste.ms/api/v1/hosts/GitHub/repositories/GaloisInc%2Fcrucible
Issue Author Associations
- Contributor (95, 87.16%)
- None (10, 9.17%)
- Member (3, 2.75%)
- Collaborator (1, 0.92%)
Pull Request Author Associations
- Contributor (83, 89.25%)
- Member (4, 4.30%)
- None (4, 4.30%)
- Collaborator (2, 2.15%)
Top Issue Authors
- langston-barrett (43)
- RyanGlScott (13)
- brianhuffman (11)
- atomb (10)
- robdockins (7)
- yav (2)
- spernsteiner (2)
- thisistegan (2)
- lcasburn (2)
- andreistefanescu (1)
- RalfJung (1)
- Torrencem (1)
- ntc2 (1)
- sauclovian-g (1)
- benjaminfjones (1)
Top Pull Request Authors
- langston-barrett (25)
- RyanGlScott (16)
- andreistefanescu (9)
- robdockins (8)
- TomMD (5)
- jmgrosen (4)
- yav (2)
- qsctr (2)
- kiniry (2)
- sweirich (2)
- BillHallahan (2)
- sauclovian-g (2)
- travitch (2)
- Kraks (1)
- brianhuffman (1)
Top Issue Labels
- llvm (18)
- crucible (16)
- MIR (13)
- uc-crux (12)
- CI (11)
- enhancement (10)
- bug (10)
- documentation (6)
- crux (6)
- syntax (5)
- wontfix (4)
- UX (4)
- technical debt (4)
- Docker (3)
- what4 (3)
- memory-model (2)
- symio (2)
- debugger (1)
- jvm (1)
- help wanted (1)
- libc (1)
- unsoundness (1)
- testing (1)
- whiner (1)
Top Pull Request Labels
- CI (12)
- MIR (6)
- crucible (5)
- syntax (4)
- llvm (3)
- crux (3)
- technical debt (2)
- testing (2)
- Docker (2)
- enhancement (1)
- UX (1)
- build system (1)
- uc-crux (1)