chore: ignore user-specific scripts instead

rebornplusplus · Feb 18, 2024 · cef21b9 · cef21b9
1 parent b4fcc86
commit cef21b9
Showing 1 changed file with 3 additions and 2 deletions.
diff --git a/.github/workflows/tests.yml b/.github/workflows/tests.yml
@@ -15,8 +15,9 @@ jobs:
 
       - name: Tweak options to run on GitHub
         run: |
-          # Github runners already have a "admin" group.
-          sed -i 's/ADMIN_USER="admin"/ADMIN_USER="dummy-admin"/g' vars.sh
+          # Ignore user-specific scripts for GitHub runners
+          sed -i 's/add_users.sh//g' scripts/run_order.txt
+          sed -i 's/copy_admin_scripts.sh//g' scripts/run_order.txt
 
       - name: Run the scripts
         run: |