From 91c7b7bc394172d727aa32228c190cffc89b0518 Mon Sep 17 00:00:00 2001 From: Erik Martin-Dorel Date: Wed, 1 Jul 2020 12:40:13 +0200 Subject: [PATCH] docs: Add badge for supported-tags --- README.md | 1 + 1 file changed, 1 insertion(+) diff --git a/README.md b/README.md index e6eb6df..eabcf4d 100644 --- a/README.md +++ b/README.md @@ -1,5 +1,6 @@ # coqorg/coq +[![tags](https://img.shields.io/badge/tags%20on-docker%20hub-blue.svg)](https://hub.docker.com/r/coqorg/coq#supported-tags "Supported tags on Docker Hub") [![pipeline status](https://gitlab.com/coq-community/docker-coq/badges/master/pipeline.svg)](https://gitlab.com/coq-community/docker-coq/-/commits/master) [![dev commit](https://images.microbadger.com/badges/commit/coqorg/coq:dev.svg)](https://github.com/coq/coq/commits "Commit hash of the dev image") [![layers](https://images.microbadger.com/badges/image/coqorg/coq:dev.svg)](https://microbadger.com/images/coqorg/coq:dev "View image on microbadger.com")