GitHub / coq / coq-on-cachix
This repository follows Coq active branches but is only updated when the latest commit is available as binary on https://coq.cachix.org
JSON API: https://data.code.gouv.fr/api/v1/hosts/GitHub/repositories/coq%2Fcoq-on-cachix
Stars: 3
Forks: 1
Open issues: 0
License: lgpl-2.1
Language: OCaml
Size: 116 MB
Dependencies parsed at:
4
Created at: about 6 years ago
Updated at: over 3 years ago
Pushed at: almost 3 years ago
Last synced at: about 2 months ago
Commit Stats
Commits: 30807
Authors: 236
Mean commits per author: 130.54
Development Distribution Score: 0.741
More commit stats: https://commits.ecosystem.code.gouv.fr/hosts/GitHub/repositories/coq/coq-on-cachix
- eps1lon/actions-label-merge-conflict b8bf8341285ec9a4567d4318ba474fee998a6919 composite
- actions/checkout v2 composite
- actions/upload-artifact v2 composite
- ubuntu bionic build