Add coverage badge to ReadMe

goblint · Jun 26, 2024 · d3b0747 · d3b0747
1 parent 4c2b625
commit d3b0747
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/Readme.md b/Readme.md
@@ -1,6 +1,7 @@
 # GobPie
 
 [![build workflow status](https://github.com/goblint/GobPie/actions/workflows/build.yml/badge.svg)](https://github.com/goblint/GobPie/actions/workflows/build.yml)
+[![Coverage Status](https://coveralls.io/repos/github/goblint/GobPie/badge.svg?branch=master)](https://coveralls.io/github/goblint/GobPie?branch=master)
 
 The Integration of the static analyzer [Goblint](https://github.com/goblint/analyzer) into IDEs with [MagpieBridge](https://github.com/MagpieBridge/MagpieBridge).