Fix build

This commit is contained in:
Andrea Cavalli 2021-06-07 17:01:53 +02:00
parent 76e083a043
commit 7751b0ab41

View File

@ -27,7 +27,7 @@ jobs:
export REVISION=${{ github.run_number }}
echo "REVISION=$REVISION" >> $GITHUB_ENV
- name: Set up JDK 15
- name: Set up JDK 16
if: github.ref == 'refs/heads/master'
uses: actions/setup-java@v1
with: