Add workflow status badge

aman-goel · Feb 24, 2024 · 2b526eb · 2b526eb
1 parent 63b95c0
commit 2b526eb
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/README.md b/README.md
@@ -1,3 +1,5 @@
+[![Build AVR on Ubuntu](https://github.com/aman-goel/avr/actions/workflows/build.yml/badge.svg)](https://github.com/aman-goel/avr/actions/workflows/build.yml)
+
 # AVR -- **A**bstractly **V**erifying **R**eachability
 
 <p align="center">(also known as Averroes v2.0)