ci: fix ci configurations

This commit is contained in:
Zihlu Wang
2024-04-29 17:32:17 +08:00
parent 4718cac73e
commit edd9da2925
@@ -44,7 +44,9 @@ jobs:
mkdir -p ~/.gradle/
echo "GRADLE_USER_HOME=${HOME}/.gradle" >> $GITHUB_ENV
echo "${GRADLE_PROPERTIES}" > ~/.gradle/gradle.properties
cat ~/.gradle/gradle.properties
- name: Check gradle.properties
run: cat ~/.gradle/gradle.properties
- name: Set up JDK 17
uses: actions/setup-java@v4