Update README.md with more CI badges

mit-plv · Dec 31, 2023 · de9f96d · de9f96d
1 parent 39f5f3e
commit de9f96d
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/README.md b/README.md
@@ -1,6 +1,8 @@
 Rewriter
 =====
 [![CI (Coq)](https://github.com/mit-plv/rewriter/actions/workflows/coq.yml/badge.svg?branch=master)](https://github.com/mit-plv/rewriter/actions/workflows/coq.yml?query=branch%3Amaster)
+[![CI (Coq, dev, Docker)](https://github.com/mit-plv/rewriter/actions/workflows/coq-docker.yml/badge.svg?branch=master)](https://github.com/mit-plv/rewriter/actions/workflows/coq-docker.yml?query=branch%3Amaster)
+[![CI (Coq, Alpine)](https://github.com/mit-plv/rewriter/actions/workflows/coq-alpine.yml/badge.svg?branch=master)](https://github.com/mit-plv/rewriter/actions/workflows/coq-alpine.yml?query=branch%3Amaster)
 
 Publications
 -----