GitHub / lsf37 issue stats
Total issues: 104
Total pull requests: 429
Merged pull request: 395
Average time to close issues: 10 months
Average time to close pull requests: 6 days
Average comments per issue: 1.65
Average comments per pull request: 1.17
Issues created
- sel4/ci-actions: 39
- jflex-de/jflex: 16
- sel4/sel4test: 9
- sel4/sel4-camkes-l4v-dockerfiles: 8
- sel4/rfcs: 8
- sel4/l4v: 4
- seL4/seL4: 4
- sel4/sel4-tutorials: 3
- jflex-de/jflex-web: 2
- sel4/sel4bench: 2
- sel4/sel4webserver: 2
- sel4/machine_queue: 1
- sel4/website: 1
- sel4/docs: 1
- sel4/camkes-tool: 1
- sel4/sel4bench-manifest: 1
- sel4/capdl: 1
- lsf37/isabelle.tmbundle: 1
Pull requests created
- sel4/ci-actions: 50
- jflex-de/jflex: 44
- sel4/sel4-camkes-l4v-dockerfiles: 32
- seL4/seL4: 24
- sel4/website: 22
- sel4/docs: 20
- sel4/rfcs: 19
- sel4/l4v: 17
- sel4/sel4-tutorials: 17
- sel4/capdl: 15
- sel4/camkes-tool: 13
- sel4/sel4test: 12
- sel4/util_libs: 10
- sel4/sel4_tools: 9
- sel4/verification-manifest: 9
- sel4/sel4bench: 9
- sel4/sel4webserver: 8
- sel4/camkes-vm-examples: 7
- sel4/machine_queue: 7
- sel4/rumprun-sel4-demoapps: 5
- sel4/microkit: 5
- jflex-de/bazel_rules: 5
- sel4/sel4_libs: 5
- sel4/sel4test-manifest: 4
- sel4/refos: 4
- sel4/graph-refine: 4
- sel4/sel4_projects_libs: 4
- sel4/camkes: 4
- sel4/sel4bench-manifest: 4
- sel4/whitepaper: 3
- sel4/projects_libs: 3
- sel4/gh-testboard: 3
- sel4/sel4runtime: 3
- sel4/camkes-vm-linux: 3
- sel4/global-components: 2
- sel4/mcs-examples-manifest: 2
- sel4/camkes-vm-images: 2
- sel4/camkes-vm: 2
- sel4/camkes-manifest: 2
- sel4/rust-sel4: 2
- sel4/cakeml_libs: 2
- sel4/sel4webserver-manifest: 2
- sel4/camkes-vm-examples-manifest: 2
- sel4/pruner: 2
- sel4/sel4-tutorials-manifest: 1
- sel4/isabelle: 1
- GaloisInc/smaccmpilot-stm32f4: 1
- sel4/refos-manifest: 1
- sel4/mcs-examples: 1
- lsf37/gh-action-testing: 1
Maintainer
- sel4/ci-actions: 89
- jflex-de/jflex: 60
- sel4/sel4-camkes-l4v-dockerfiles: 40
- seL4/seL4: 28
- sel4/rfcs: 27
- sel4/website: 23
- sel4/docs: 21
- sel4/l4v: 21
- sel4/sel4test: 21
- sel4/sel4-tutorials: 20
- sel4/capdl: 16
- sel4/camkes-tool: 14
- sel4/sel4bench: 11
- sel4/sel4webserver: 10
- sel4/util_libs: 10
Active Maintainer
- seL4/seL4: 21
- sel4/l4v: 7
- sel4/sel4-tutorials: 3
- sel4/sel4test: 3
- sel4/sel4_tools: 3
- sel4/sel4-camkes-l4v-dockerfiles: 2
- sel4/camkes-tool: 2
- sel4/machine_queue: 2
- sel4/website: 2
- sel4/capdl: 1
- sel4/util_libs: 1
- sel4/microkit: 1
- sel4/sel4test-manifest: 1
- sel4/sel4bench-manifest: 1
- sel4/camkes-vm-examples-manifest: 1
Issue Author Associations
- Member (103, 99.04%)
- Owner (1, 0.96%)
Pull Request Author Associations
- Member (427, 99.53%)
- Owner (1, 0.23%)
- Contributor (1, 0.23%)
Top Issue Labels
- enhancement (17)
- bug (7)
- camkes (7)
- seL4 (6)
- wontfix (6)
- verification (5)
- MCS (5)
- task (5)
- help wanted (5)
- testing (5)
- docker (4)
- sel4test (4)
- benchmarking (3)
- good first issue (3)
- docs (3)
Top Pull Request Labels
- CI (56)
- enhancement (20)
- bug (18)
- docs (14)
- MCS (8)
- verification (7)
- implemented (6)
- active (5)
- testing (5)
- code quality (5)
- hw-test (3)
- hw-build (2)
- dependencies (2)
- rejected (2)
- platforms (2)