coq-community/docker-coq-action (actions): GitHub Action using Docker-Coq
Keywords: action|container-ci|continuous-integration|coq|docker-coq|docker-coq-action|github-actions|opam