Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
docs(README.md): Update badge and links
* Coq images are not built anymore from a Docker Hub automated build, they are now built from this GitLab CI project: https://gitlab.com/coq-community/docker-coq (cherry picked from commit 2443722)
- Loading branch information