Update the CI configuration.

sorawee · Mar 4, 2021 · ca6fa33 · ca6fa33
1 parent dcdc60c
commit ca6fa33
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/tests.yml b/.github/workflows/tests.yml
@@ -46,7 +46,7 @@ jobs:
           cp boolector/build/bin/boolector bin/ &&
           rm -rf boolector*
       - name: Install Rosette
-        run: raco pkg install --auto
+        run: raco pkg install --auto --name rosette
       - name: Compile Rosette tests
         run: raco make test/all-rosette-tests.rkt
       - name: Run Rosette tests