summaryrefslogtreecommitdiff
path: root/.github/ci-gradle.properties
AgeCommit message (Collapse)Author
2020-09-21Revert "github: remove ci-gradle.properties" (#1113)Harsh Shandilya
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.
2020-09-20github: remove ci-gradle.propertiesHarsh Shandilya
Signed-off-by: Harsh Shandilya <me@msfjarvis.dev>
2020-07-14Fix navigation bar theming and reformat (#930)Harsh Shandilya
2020-02-25CI workflow improvements (#642)Harsh Shandilya
* github: Only run debug tasks in PRs * github: Remove nightly deploys * github: Setup automatic debug branch deployment * Tweak Gradle config in CI Signed-off-by: Harsh Shandilya <me@msfjarvis.dev> Co-authored-by: Aditya Wasan <adityawasan55@gmail.com>