README: build status badge

VariantSync · Aug 28, 2024 · 5f66d0e · 5f66d0e
1 parent ad55b6b
commit 5f66d0e
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/README.md b/README.md
@@ -1,5 +1,6 @@
 # Vatras - On the Expressive Power of Languages for Static Variability
 
+[![Check the Agda files](https://github.com/pmbittner/Vatras/actions/workflows/check.yml/badge.svg)](https://github.com/pmbittner/Vatras/actions/workflows/check.yml)
 [![agda][agda-badge-version-svg]][agda-badge-version-url]
 [![License](https://img.shields.io/badge/License-GNU%20LGPLv3-blue)](LICENSE.LGPL3)