Update maven.yml

This commit is contained in:
James Peters 2022-01-12 22:50:01 +00:00 committed by GitHub
parent 2466185622
commit 02510fcc3a
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -38,6 +38,7 @@ jobs:
- name: Run BuildTools Pre 1.17
working-directory: ./BuildTools
run: |
ls ./BuildTools -R
# make file runnable, might not be necessary
chmod +x "${GITHUB_WORKSPACE}/BuildTools/build-pre1.17.sh"
# run script