Rework CI.

cmsc430 · Oct 17, 2024 · 4cc9ac7 · 4cc9ac7
1 parent f564b9d
commit 4cc9ac7
Showing 1 changed file with 1 addition and 3 deletions.
diff --git a/.github/workflows/push.yml b/.github/workflows/push.yml
@@ -24,10 +24,8 @@ jobs:
     - name: Build and test
       run: |
         export LINK_DIR=/usr/lib/x86_64-linux-gnu
-        raco pkg install --auto ziggy/
-        raco pkg install langs/
+        raco pkg install --auto www/
         raco make www/main.scrbl
-        xvfb-run raco test -p langs
         make -C www main
     - name: Archive www
       uses: actions/upload-artifact@v4