Trying again with CI.

cmsc430 · Oct 17, 2024 · 8031ddb · 8031ddb
1 parent 2bfd04b
commit 8031ddb
Showing 1 changed file with 4 additions and 2 deletions.
diff --git a/.github/workflows/push.yml b/.github/workflows/push.yml
@@ -23,8 +23,10 @@ jobs:
         version: '8.14'
     - name: Install a86 and langs
       run: |
-        printf "hi"
-        printf "there"
+        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/
     - name: Build and test
       run: |
         export LINK_DIR=/usr/lib/x86_64-linux-gnu