4 commits

Author	SHA1	Message	Date
Harsh Shandilya	37ea5d4a49	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.	2020-09-21 14:17:06 +05:30
Harsh Shandilya	098c765132	github: remove ci-gradle.properties ... Signed-off-by: Harsh Shandilya <me@msfjarvis.dev>	2020-09-20 22:49:01 +05:30
Harsh Shandilya	7f3aceaf11	Fix navigation bar theming and reformat (#930)	2020-07-14 11:31:37 +05:30
Harsh Shandilya	bea3cd5457	CI workflow improvements (#642) ... * 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>	2020-02-25 15:22:05 +05:30