Debug racket setup

brownsys · Jul 26, 2023 · f7590fd · f7590fd
1 parent 0561b57
commit f7590fd
Showing 1 changed file with 14 additions and 2 deletions.
diff --git a/.github/workflows/rust.yml b/.github/workflows/rust.yml
@@ -35,13 +35,25 @@ jobs:
     - uses: actions/checkout@v3
     - name: Build Compiler
       run: cargo build --verbose
+    - name: Cache Racket dependencies
+      uses: actions/cache@v2
+      with:
+        path: |
+          ~/.cache/racket
+          ~/.local/share/racket
+        key: ${{ runner.os }}-racket-8.1
     - name: Install Racket
-      run: apt-get -y install racket
+      uses: Bogdanp/[email protected]
+      with:
+        architecture: 'x64'
+        distribution: 'full'
+        variant: 'CS'
+        version: '8.1'
     - name: Install Forge
       run: |
         cd ..
         git clone https://github.com/tnelson/Forge -b ${FORGE_REVISION}
         cd Forge/forge
-        raco pgk install
+        raco pgk install --auto
     - name: Run Tests
       run: cargo test --test external_annotation_tests