GitHub setup

This commit is contained in:
Geert Bevin 2023-04-04 09:25:28 -04:00
parent cc55c2f6bb
commit 0f5527f46e
3 changed files with 7 additions and 3 deletions

View file

@ -38,7 +38,7 @@ jobs:
uses: actions/setup-java@v3
with:
distribution: 'zulu'
java-version: 19
java-version: 17
- name: Build Javadocs
run: ./bld download clean javadoc