Merge pull request #7654 from adpi2/fix-ci

Fix CI: Zinc default branch is 1.10.x
This commit is contained in:
adpi2 2024-09-11 15:00:54 +02:00 committed by GitHub
commit 9eebe34039
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
2 changed files with 2 additions and 2 deletions

View File

@ -79,7 +79,7 @@ jobs:
uses: actions/checkout@v4
with:
repository: sbt/zinc
ref: develop
ref: 1.10.x
path: zinc
- name: Setup JDK
uses: actions/setup-java@v4

View File

@ -38,7 +38,7 @@ jobs:
uses: actions/checkout@v4
with:
repository: sbt/zinc
ref: develop
ref: 1.10.x
path: zinc
- name: Setup JDK
uses: actions/setup-java@v4