GitHub / annenkov issue stats
Total issues: 32
Total pull requests: 41
Merged pull request: 39
Average time to close issues: 5 months
Average time to close pull requests: 13 days
Average comments per issue: 1.0
Average comments per pull request: 0.88
Issues created
- Concordium/concordium-rust-smart-contracts: 12
- AU-COBRA/ConCert: 5
- ocamlpro/liquidity: 4
- QuickChick/QuickChick: 2
- Concordium/concordium-base: 2
- WalletConnect/walletconnect-monorepo: 1
- cpitclaudel/alectryon: 1
- CertiCoq/certicoq: 1
- wasmerio/wasmer: 1
- AU-COBRA/coq-rust-extraction: 1
- Concordium/concordium-node-sdk-js: 1
- RustCrypto/crypto-bigint: 1
Pull requests created
- Concordium/concordium-rust-smart-contracts: 14
- concordium/concordium-web3id: 5
- AU-COBRA/ConCert: 5
- concordium/concordium-update-proposals: 4
- Concordium/concordium-contracts-common: 3
- Concordium/concordium-base: 2
- annenkov/trace-monoids: 1
- rocq-community/awesome-coq: 1
- cropzoom/cropzoom: 1
- annenkov/futhark-extract: 1
- Concordium/concordium-smart-contract-tools: 1
- bollu/diffgeo: 1
- w3c/did-spec-registries: 1
- annenkov/sloc: 1
Maintainer
Active Maintainer
Issue Author Associations
- Contributor (15, 46.88%)
- None (12, 37.50%)
- Collaborator (5, 15.63%)
Pull Request Author Associations
- Contributor (33, 80.49%)
- Collaborator (5, 12.20%)
- Owner (3, 7.32%)
Top Issue Labels
- [Type] Task (14)
- documentation (8)
- type: feature (3)
- part: execution (2)
- part:derive (2)
- type: enhancement (2)
- [group] Smart Contract (1)
- good first issue (1)
- type: bug (1)
- part: CameLIGO (1)
- part: infrastructure (1)
- part: testing (1)
- enhancement (1)
- duplicate (1)
- priority-medium (1)
Top Pull Request Labels
- type: refactor (1)
- part: extraction (1)