summaryrefslogtreecommitdiff
path: root/.github/ci-gradle.properties
AgeCommit message (Expand)Author
2021-12-07Upgrade workflows to use Java 17 (#1579)Harsh Shandilya
2021-03-18all: update copyrights...Harsh Shandilya
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