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 /.idea/codeStyles/codeStyleConfig.xml | |
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 '.idea/codeStyles/codeStyleConfig.xml')
0 files changed, 0 insertions, 0 deletions