summaryrefslogtreecommitdiffstats
path: root/.github/ci-gradle.properties
AgeCommit message (Expand)AuthorFilesLines
2020-09-21Revert "github: remove ci-gradle.properties" (#1113)Harsh Shandilya1-0/+6
2020-09-20github: remove ci-gradle.propertiesHarsh Shandilya1-11/+0
2020-07-14Fix navigation bar theming and reformat (#930)Harsh Shandilya1-0/+5
2020-02-25CI workflow improvements (#642)Harsh Shandilya1-0/+6