diff options
| author | Harsh Shandilya <msfjarvis@gmail.com> | 2020-09-21 14:17:06 +0530 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-09-21 14:17:06 +0530 |
| commit | 37ea5d4a494808ef2a4e45f7458a2948fe76ff53 (patch) | |
| tree | ba553e9eab7f188b8c439be0f5f8dfd9ca054d7a /.github/workflows/pull_request.yml | |
| parent | 098c765132a823225e2b2ef82c1302e02f68cd31 (diff) | |
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 098c765132a823225e2b2ef82c1302e02f68cd31.
Diffstat (limited to '.github/workflows/pull_request.yml')
| -rw-r--r-- | .github/workflows/pull_request.yml | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/.github/workflows/pull_request.yml b/.github/workflows/pull_request.yml index 49585eeb..f374c689 100644 --- a/.github/workflows/pull_request.yml +++ b/.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 |