GitHub / lenianiva issue stats
Total issues: 31
Total pull requests: 12
Merged pull request: 6
Average time to close issues: 4 months
Average time to close pull requests: 23 days
Average comments per issue: 3.06
Average comments per pull request: 3.92
Issues created
- CadQuery/cadquery: 10
- serokell/deploy-rs: 2
- hakimel/reveal.js: 2
- tweag/jupyenv: 2
- dtolnay/cxx: 2
- hercules-ci/flake-parts: 1
- jd-boyd/sexpdata: 1
- svanderburg/node2nix: 1
- oOo0oOo/lean-lsp-mcp: 1
- oxalica/rust-overlay: 1
- nix-community/nixos-anywhere: 1
- petgraph/petgraph: 1
- go-gitea/gitea: 1
- leanprover/lean4: 1
- rust-cli/rexpect: 1
- quinn-dougherty/proof-scaling-meeting: 1
- st--/annotate-equations: 1
- elkowar/eww: 1
Pull requests created
Maintainer
- cvc5/cvc5: 4
- verus-lang/verus: 1
Active Maintainer
- cvc5/cvc5: 2
Issue Author Associations
- None (23, 74.19%)
- Contributor (8, 25.81%)
Pull Request Author Associations
- Contributor (5, 41.67%)
- Member (4, 33.33%)
- None (2, 16.67%)
- Collaborator (1, 8.33%)
Top Issue Labels
- question (7)
- bug (4)
- enhancement (2)
- assembly (1)
- sketching (1)
- type/bug (1)
- issue/critical (1)
- S-needs-triage (1)
- RFC (1)
Top Pull Request Labels
- normal (3)
- simple (2)
- toolchain-available (2)
- bug (1)
- minor (1)
- feature (1)
- do not merge (1)
- work in progress (1)
- engineer (1)
- moderate (1)
- is:feature (1)
- re:modules (1)
- was:moved (1)
- module:lang/lean (1)
- backport releases/v4.22.0 (1)