diff --git a/.github/workflows/push.yml b/.github/workflows/push.yml
index ccf7fea0..cbfa1cce 100644
--- a/.github/workflows/push.yml
+++ b/.github/workflows/push.yml
@@ -23,10 +23,6 @@ jobs:
         version: '8.14'
     - name: Build and test
       run: |
-        git clone https://github.com/cmsc430/a86.git
-	git clone https://github.com/cmsc430/langs.git
-        raco pkg install --auto a86/
-	raco pkg install --auto langs/      
         export LINK_DIR=/usr/lib/x86_64-linux-gnu
         # raco pkg install --auto www/
         raco make www/main.scrbl