Revert "github: remove ci-gradle.properties" (#1113)

GitHub's runners are still too weak for us to go by without
doing this: https://pipelines.actions.githubusercontent.com/eRaLlgv7QgiQrEiMWvOVzCfcXl8ehv3iNil9w7DRw7wdT9P1kT/_apis/pipelines/1/runs/2741/signedlogcontent/3?urlExpires=2020-09-21T07%3A46%3A57.1297541Z&urlSigningMethod=HMACV1&urlSignature=6e1r7tlUIn9E2EuEm2i4skqgQwZ4jCmO9ARlGZ6a3SU%3D

This reverts commit 098c765132.

.github/ci-gradle.properties

@@ -0,0 +1,6 @@
+#
+# Copyright © 2014-2020 The Android Password Store Authors. All Rights Reserved.
+# SPDX-License-Identifier: GPL-3.0-only
+#
+
+org.gradle.jvmargs=-Xmx2048m -XX:MaxPermSize=512m -XX:+HeapDumpOnOutOfMemoryError -Dfile.encoding=UTF-8

.github/workflows/deploy_snapshot.yml

@@ -17,6 +17,9 @@ jobs:
       env:
         ENCRYPT_KEY: ${{ secrets.ENCRYPT_KEY }}
 
+    - name: Copy CI gradle.properties
+      run: mkdir -p ~/.gradle ; cp .github/ci-gradle.properties ~/.gradle/gradle.properties
+
     - name: Generate cache key
       run: ./.github/checksum.sh checksum.txt
 

.github/workflows/pull_request.yml

@@ -29,6 +29,10 @@ jobs:
       if: ${{ steps.service-changed.outputs.result == 'true' }}
       uses: actions/checkout@v2
 
+    - name: Copy CI gradle.properties
+      if: ${{ steps.service-changed.outputs.result == 'true' }}
+      run: mkdir -p ~/.gradle ; cp .github/ci-gradle.properties ~/.gradle/gradle.properties
+
     - name: Generate cache key
       if: ${{ steps.service-changed.outputs.result == 'true' }}
       run: ./.github/checksum.sh checksum.txt

.github/workflows/release.yml

@@ -17,6 +17,9 @@ jobs:
       env:
         ENCRYPT_KEY: ${{ secrets.ENCRYPT_KEY }}
 
+    - name: Copy CI gradle.properties
+      run: mkdir -p ~/.gradle ; cp .github/ci-gradle.properties ~/.gradle/gradle.properties
+
     - name: Generate cache key
       run: ./.github/checksum.sh checksum.txt