GitHub setup

This commit is contained in:
Geert Bevin 2023-04-04 09:23:17 -04:00
parent 7394a21115
commit cc55c2f6bb

View file

@ -40,9 +40,6 @@ jobs:
distribution: 'zulu' distribution: 'zulu'
java-version: 19 java-version: 19
- name: Grant execute permission for gradlew
run: chmod +x gradlew
- name: Build Javadocs - name: Build Javadocs
run: ./bld download clean javadoc run: ./bld download clean javadoc