Try to fix package install.

cmsc430 · Jan 28, 2024 · 5f337d9 · 5f337d9
1 parent aaac921
commit 5f337d9
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/.github/workflows/push.yml b/.github/workflows/push.yml
@@ -24,7 +24,8 @@ jobs:
     - name: Build and test
       run: |
         export LINK_DIR=/usr/lib/x86_64-linux-gnu
-        raco pkg install langs/
+        raco pkg install --auto ziggy/
+	raco pkg install langs/
         raco make www/main.scrbl
         raco test langs
         make -C www main