GitHub / nspin issue stats
Total issues: 41
Total pull requests: 225
Merged pull request: 203
Average time to close issues: about 2 months
Average time to close pull requests: 6 days
Average comments per issue: 0.8
Average comments per pull request: 0.74
Issues created
- sel4/rust-sel4: 37
- sel4/microkit: 2
- haskell/cabal: 1
- rust-osdev/volatile: 1
Pull requests created
- sel4/rust-sel4: 156
- seL4/rust-microkit-http-server-demo: 12
- sel4/rust-root-task-demo: 9
- seL4/rust-microkit-demo: 9
- sel4/microkit: 7
- seL4/seL4: 5
- sel4/capdl: 5
- pcwalton/offset-allocator: 3
- mkroening/one-shot-mutex: 2
- sel4/l4v: 2
- nbdd0121/unwinding: 2
- seL4/seL4-rust-tutorial: 1
- rust-osdev/volatile: 1
- ehuss/cargo-index: 1
- rust-lang/regex: 1
- Amanieu/parking_lot: 1
- sel4/sel4-camkes-l4v-dockerfiles: 1
- alexcrichton/dlmalloc-rs: 1
- illicitonion/num_enum: 1
- verus-lang/verus: 1
- briansmith/ring: 1
- dtolnay/inventory: 1
- rust-lang/rust-bindgen: 1
- cdepillabout/stacklock2nix: 1
Maintainer
Active Maintainer
Issue Author Associations
- Member (39, 95.12%)
- None (2, 4.88%)
Pull Request Author Associations
- Member (207, 92.00%)
- Contributor (12, 5.33%)
- None (6, 2.67%)
Top Issue Labels
- type: bug (1)
- needs triage (1)
- re: multi-repl (1)
Top Pull Request Labels
- verification (2)
- MCS (2)
- seL4-PR (2)
- enhancement (1)
- SMP (1)
- virtualisation (1)