Merge branch 'develop' into feature/jdk19

[ci skip]
This commit is contained in:
Sebastian Stenzel
2022-10-14 13:55:15 +02:00
23 changed files with 303 additions and 93 deletions

View File

@@ -16,8 +16,8 @@ jobs:
runs-on: ubuntu-latest
if: "!contains(github.event.head_commit.message, '[ci skip]') && !contains(github.event.head_commit.message, '[skip ci]')"
steps:
- uses: actions/checkout@v2
- uses: actions/setup-java@v2
- uses: actions/checkout@v3
- uses: actions/setup-java@v3
with:
distribution: 'zulu'
java-version: ${{ env.JAVA_VERSION }}