From df7a3ed010b7bcb285f7074de4077b1ca26f521a Mon Sep 17 00:00:00 2001
From: Tilman Hinnerichs <tilman@hinnerichs.com>
Date: Thu, 4 Jul 2024 17:45:29 +0200
Subject: [PATCH] Add badges

---
 README.md | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/README.md b/README.md
index bb7cc8f1..42109e1f 100644
--- a/README.md
+++ b/README.md
@@ -1,3 +1,8 @@
+[![codecov](https://codecov.io/gh/Herb-AI/HerbBenchmarks.jl/graph/badge.svg?token=VUK6MXLCU4)](https://codecov.io/gh/Herb-AI/HerbBenchmarks.jl)
+[![Build Status](https://github.com/Herb-AI/HerbBenchmarks.jl/actions/workflows/CI.yml/badge.svg?branch=master)](https://github.com/Herb-AI/HerbBenchmarks.jl/actions/workflows/CI.yml?query=branch%3Amaster)
+[![Dev-Docs](https://img.shields.io/badge/docs-latest-blue.svg)](https://Herb-AI.github.io/Herb.jl/dev)
+
+
 # Benchmarks.jl
 
 A collection of useful program synthesis benchmarks. Each folder contains a different benchmark and a README.