Fix paths in verify-pr-checks.sh

Author: mbg

.github/workflows/script/verify-pr-checks.sh

@@ -1,6 +1,9 @@
 #!/bin/bash
 set -eu
 
+# Store the current working directory.
+INITIAL_PWD=$(pwd)
+
 # Sanity check that repo is clean to start with
 if [ ! -z "$(git status --porcelain)" ]; then
     # If we get a fail here then this workflow needs attention...
@@ -14,6 +17,9 @@ rm -rf .github/workflows/__*
 # Generate the PR checks
 pr-checks/sync.sh
 
+# Restore the working directory
+cd "$INITIAL_PWD"
+
 # Check that repo is still clean
 if [ ! -z "$(git status --porcelain)" ]; then
     # If we get a fail here then the PR needs attention
@@ -33,4 +39,4 @@ fi
 echo "Success: PR checks are up to date"
 
 # Typecheck the TS files
-npm exec tsc
+npm exec tsc -- -p ./pr-checks