[minotaur] add CI badge, add missed "cmake" dependency in README

minotaur-toolkit · Apr 25, 2024 · c0b5a3a · c0b5a3a
1 parent a92c3ed
commit c0b5a3a
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/README.md b/README.md
@@ -1,5 +1,7 @@
 # Minotaur: A SIMD-Oriented Synthesizing Superoptimizer
 
+[![Build](https://github.com/minotaur-toolkit/minotaur/actions/workflows/build.yml/badge.svg)](https://github.com/minotaur-toolkit/minotaur/actions/workflows/build.yml)
+
 A description of how Minotaur works can be found in
 https://arxiv.org/abs/2306.00229.
 
@@ -24,7 +26,7 @@ Ubuntu/Debian, use
 
 or on mac, use
 
-    brew install re2c z3 hiredis redis
+    brew install cmake re2c z3 hiredis redis
 
 to install dependencies.