add crux-mir-comp build to CI

GaloisInc · Nov 10, 2021 · 36bc6cb · 36bc6cb
1 parent 8e5cb6d
commit 36bc6cb
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/.github/ci.sh b/.github/ci.sh
@@ -58,9 +58,9 @@ build() {
   cabal v2-configure -j --enable-tests
   git status --porcelain
   if $IS_WIN; then
-    pkgs=(saw)
+    pkgs=(saw crux-mir-comp)
   else
-    pkgs=(saw saw-remote-api)
+    pkgs=(saw crux-mir-comp saw-remote-api)
   fi
   tee -a cabal.project.local > /dev/null < cabal.project.ci
   if ! retry cabal v2-build "$@" "${pkgs[@]}"; then