Rework CI.

Author: dvanhorn

.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