Fix workflow

This commit is contained in:
Andrea Cavalli 2023-05-11 01:17:29 +02:00
parent f9bbd11d24
commit 443a3e7b45
1 changed files with 1 additions and 0 deletions

View File

@ -71,6 +71,7 @@ jobs:
fi
echo "JAVA_HOME=$JAVA_HOME" >> $GITHUB_ENV
echo "JAVA_INCLUDE_PATH=$JAVA_INCLUDE_PATH" >> $GITHUB_ENV
cat $GITHUB_ENV > github.env
- name: Build
shell: bash
run: |