summaryrefslogtreecommitdiff
path: root/.github/ci-gradle.properties
AgeCommit message (Expand)Author
2020-09-21Revert "github: remove ci-gradle.properties" (#1113)...Harsh Shandilya
2020-09-20github: remove ci-gradle.properties...Harsh Shandilya
2020-07-14Fix navigation bar theming and reformat (#930)Harsh Shandilya
2020-02-25CI workflow improvements (#642)...Harsh Shandilya