Merge branch 'develop'

This commit is contained in:
Thibault Deckers 2023-05-26 23:16:42 +02:00
commit b8e8e3bfba

View file

@ -13,7 +13,7 @@ jobs:
- uses: actions/setup-java@v3
with:
distribution: 'zulu'
java-version: '11'
java-version: '17'
- name: Clone the repository.
uses: actions/checkout@v3