Add CI badge

Lipen · Aug 26, 2024 · df3a628 · df3a628
1 parent 255da8e
commit df3a628
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/README.md b/README.md
@@ -3,6 +3,7 @@
 > SAT solver based on rho-backdoors.
 
 [![DOI](https://zenodo.org/badge/DOI/10.5281/zenodo.13375121.svg)](https://doi.org/10.5281/zenodo.13375121)
+[![Build Status](https://github.com/Lipen/backdoor-solver/workflows/ci.yml/badge.svg)](https://github.com/Lipen/backdoor-solver/actions)
 
 ## Instructions