set gwt.workDir system property to $TMP; set TMP to /mnt/tmp for Github Actions

.github/workflows/release.yml

@@ -28,11 +28,13 @@ jobs:
     runs-on: ${{ github.event.inputs.runner_cpus != '' && format('ubuntu-latest-{0}cpu', github.event.inputs.runner_cpus) || 'ubuntu-latest' }}
     steps:
       - run: df -h
-      - name: "node-cleanup"
+      - name: "node-cleanup-and-mnt-tmp"
         run: |
           sudo rm -rf /usr/share/dotnet /opt/ghc /opt/hostedtoolcache/CodeQL
           sudo docker image prune --force
           sudo docker builder prune -a
+          sudo mkdir -p /mnt/tmp
+          sudo chmod 777 /mnt/tmp
       - run: df -h
       - name: Allocate swap space
         shell: bash
@@ -86,6 +88,7 @@ jobs:
           ports: '5672:5672'
       - shell: bash
         env: # Or as an environment variable
+          TMP: /mnt/tmp
           APP_PARAMETERS: "-Daws.region=eu-west-1 -Dgoogle.maps.authenticationparams=${{ secrets.GOOGLE_MAPS_AUTHENTICATIONPARAMS }} -Daws.s3.test.s3AccessId=${{ secrets.AWS_S3_TEST_S3ACCESSID }} -Daws.s3.test.s3AccessKey=${{ secrets.AWS_S3_TEST_S3ACCESSKEY }} -Dgeonames.org.usernames=${{ secrets.GEONAMES_ORG_USERNAMES }}"
           JAVA8_HOME: ${{env.JAVA_HOME_8_X64}}
         run: |