add GH_TOKEN env for actions

Author: isaacbrodsky

.github/workflows/tests.yml

@@ -193,6 +193,8 @@ jobs:
           restore-keys: |
             ${{ runner.os }}-maven-
 
-      - name: Coverage report
+      - name: Download and test
         run: |
           mvn clean test -Dh3.github.artifacts=true
+        env:
+          GH_TOKEN: ${{ github.token }}

src/main/c/h3-java/pull-from-github.sh

@@ -22,7 +22,7 @@
 # This script expects to be run from the project's base directory (where
 # pom.xml is) as part of the Maven build process.
 
-set -ex
+set -eox pipefail
 
 GIT_REVISION=$(git rev-parse HEAD)
 EXTRACT_TO=src/main/resources