Ecosyste.ms: Repos

An open API service providing repository metadata for many open source software ecosystems.

GitHub / coq-community / docker-coq-action

GitHub Action using Docker-Coq [maintainers=@erikmd,@Zimmi48]

JSON API: https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/coq-community%2Fdocker-coq-action

Stars: 12
Forks: 4
Open Issues: 20

License: mit
Language: Shell
Repo Size: 255 KB
Dependencies: 12

Created: about 4 years ago
Updated: 16 days ago
Last pushed: 16 days ago
Last synced: 15 days ago

Commit Stats

Commits: 131
Authors: 8
Mean commits per author: 16.38
Development Distribution Score: 0.137
More commit stats: https://commits.ecosyste.ms/hosts/GitHub/repositories/coq-community/docker-coq-action

Topics: action, container-ci, continuous-integration, coq, docker-coq, docker-coq-action, github-actions, opam

Files
    Loading...
    Readme
    Loading...
    Dependencies
    .github/workflows/coq-demo.yml actions
    .github/workflows/gha-rt.yml actions
    .github/workflows/python-demo.yml actions
    .github/workflows/reviewdog.yml actions
    action.yml actions
    Dockerfile docker