update ci file

ics-jku · Oct 19, 2023 · 3118d88 · 3118d88
1 parent 92a7b45
commit 3118d88
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/verify.yml b/.github/workflows/verify.yml
@@ -13,7 +13,7 @@ jobs:
           variant: 'CS'
           version: '8.10'
       - name: Installing rosette
-        run: raco pkg install rosette
+        run: y | raco pkg install rosette
       - name: Compiling boolector
         run: git clone https://github.com/boolector/boolector
       - run: cd boolector