File tree Expand file tree Collapse file tree 1 file changed +4
-2
lines changed Expand file tree Collapse file tree 1 file changed +4
-2
lines changed Original file line number Diff line number Diff line change @@ -612,8 +612,8 @@ jobs:
612
612
SONATYPE_USER : ${{ secrets.SONATYPE_USER_ORGSCALALANG }}
613
613
614
614
steps :
615
- - name : Set JDK 17 as default
616
- run : echo "/usr/lib/jvm/java-17 -openjdk-amd64/bin" >> $GITHUB_PATH
615
+ - name : Set JDK 8 as default
616
+ run : echo "/usr/lib/jvm/java-8 -openjdk-amd64/bin" >> $GITHUB_PATH
617
617
- name : Reset existing repo
618
618
run : |
619
619
git config --global --add safe.directory /__w/dotty/dotty
@@ -723,6 +723,8 @@ jobs:
723
723
SONATYPE_USER : ${{ secrets.SONATYPE_USER_ORGSCALALANG }}
724
724
725
725
steps :
726
+ - name : Set JDK 8 as default
727
+ run : echo "/usr/lib/jvm/java-8-openjdk-amd64/bin" >> $GITHUB_PATH
726
728
- name : Reset existing repo
727
729
run : |
728
730
git config --global --add safe.directory /__w/dotty/dotty
You can’t perform that action at this time.
0 commit comments