Merge pull request #9 from ThomasRubini/ci

This commit is contained in:
Thomas Rubini 2022-12-12 21:55:31 +01:00 committed by GitHub
commit f649f85be1
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -12,6 +12,11 @@ jobs:
steps:
- name: Checkout
uses: actions/checkout@v3
- uses: actions/setup-java@v3
with:
distribution: 'temurin'
java-version: 17
- name: Build
run: |