remove a useless sudo

ticktac-project · Nov 22, 2023 · 9b36a60 · 9b36a60
1 parent fbf18f7
commit 9b36a60
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/build-and-test.yml b/.github/workflows/build-and-test.yml
@@ -46,7 +46,7 @@ jobs:
 
       - name: Install pre-requesites
         run: |
-          sudo ci-scripts/install-$RUNNER_OS.sh
+          ci-scripts/install-$RUNNER_OS.sh
           ci-scripts/show-config.sh
       - name: Build TChecker
         run: ci-scripts/build.sh