github/push: force usage of /bin/sh for deploy.sh script

ia · Jul 10, 2023 · 92b3afa · 92b3afa
1 parent 170f962
commit 92b3afa
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/push.yml b/.github/workflows/push.yml
@@ -159,7 +159,7 @@ jobs:
         run: flake8 Translations
 
       - name: Check autogenerated Documentation/README.md
-        run: ./scripts/deploy.sh docs_readme
+        run: /bin/sh ./scripts/deploy.sh docs_readme
 
   shellcheck:
     name: runner / shellcheck