Skip to content

Commit 56adb20

Browse files
committed
Use Java 17 in community-build-c
1 parent 0269dc1 commit 56adb20

File tree

1 file changed

+2
-2
lines changed

1 file changed

+2
-2
lines changed

.github/workflows/ci.yaml

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -363,8 +363,8 @@ jobs:
363363
)"
364364

365365
steps:
366-
- name: Set JDK 15 as default
367-
run: echo "/usr/lib/jvm/java-15-openjdk-amd64/bin" >> $GITHUB_PATH
366+
- name: Set JDK 17 as default
367+
run: echo "/usr/lib/jvm/java-17-openjdk-amd64/bin" >> $GITHUB_PATH
368368

369369
- name: Reset existing repo
370370
run: git -c "http.https://github.com/.extraheader=" fetch --recurse-submodules=no "https://github.com/lampepfl/dotty" && git reset --hard FETCH_HEAD || true

0 commit comments

Comments
 (0)