[skip ci] Fix release script

HyacinthBots · Jan 21, 2023 · c748f5d · c748f5d
1 parent 6dc5680
commit c748f5d
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/.github/workflows/release.yml b/.github/workflows/release.yml
@@ -40,4 +40,4 @@ jobs:
 
         # TODO Make sure the website branch is set correctly. Main is incorrect for now, hopefully the website will be in a reasonable state before next release
       - name: Update web docs
-        run: ./updateWebDocs improvements ${{ secrets.CR_PAT }}
+        run: ./updateWebDocs.sh improvements ${{ secrets.CR_PAT }}
diff --git a/updateWebDocs.sh b/updateWebDocs.sh
@@ -1,4 +1,4 @@
-#!/bin/sh
+#!/bin/sh -l
 
 set -e # End immediately if a command fails
 set -u # End if trying to access an undefined variable