add some sudos

vcanumalla · Dec 7, 2023 · ad210a6 · ad210a6
1 parent 82a3458
commit ad210a6
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/.github/workflows/tests.yml b/.github/workflows/tests.yml
@@ -73,9 +73,9 @@ jobs:
           cmake .. &&
           cmake --build . &&
           cp stp bin/ &&
-          add-apt-repository -y ppa:sri-csl/formal-methods &&
-          apt-get update &&
-          apt-get install -y yices2 
+          sudo add-apt-repository -y ppa:sri-csl/formal-methods &&
+          sudo apt-get update &&
+          sudo apt-get install -y yices2 
 
       - name: Install Rosette
         run: raco pkg install --auto --name rosette