no bash

cmss13-devs · Jul 20, 2023 · dd8dda1 · dd8dda1
1 parent 7319e0b
commit dd8dda1
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/ci_suite.yml b/.github/workflows/ci_suite.yml
@@ -92,7 +92,7 @@ jobs:
       - name: Find Maps
         id: map_finder
         run: |
-          bash shopt -s extglob
+          shopt -s extglob
           echo "$(ls -mw0 maps/!(*override*).json)" > maps_output.txt
           sed -i -e s+maps/+\"+g -e s+.json+\"+g maps_output.txt
           echo "Maps: $(cat maps_output.txt)"