Ecosyste.ms: Packages

An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.

Top 6.2% on github actions
Top 3.9% dependent repos on github actions

github actions : coq-community/docker-coq-action

GitHub Action using Docker-Coq

Registry - JSON
purl: pkg:githubactions/coq-community/docker-coq-action
Keywords: action, container-ci, continuous-integration, coq, docker-coq, docker-coq-action, github-actions, opam
License: MIT
Latest release: over 1 year ago
First release: about 4 years ago
Namespace: coq-community
Dependent repositories: 147
Stars: 12 on GitHub
Forks: 4 on GitHub
Total Commits: 131
Committers: 8
Average commits per author: 16.375
Development Distribution Score (DDS): 0.137
More commit stats: commits.ecosyste.ms
See more repository details: repos.ecosyste.ms
Last synced: 1 day ago

    Loading...
    Readme
    Loading...