Fix generate.

wdw21 · Jun 29, 2024 · fc8d32c · fc8d32c
1 parent a0f132b
commit fc8d32c
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.github/workflows/generate_push.yml b/.github/workflows/generate_push.yml
@@ -40,6 +40,7 @@ jobs:
 
       - name: Generate PDFs
         if: steps.changed-xml-files.outputs.any_changed == 'true'
+        shell: bash
         run: |
           FILES=()
           for file in "${{ steps.changed-xml-files.outputs.all_changed_files }}"; do