Gary Gregory
|
883c3748b9
|
GitHub actions/setup-java@v1 -> actions/setup-java@v1.4.0.
|
2020-07-26 17:48:33 -04:00 |
|
Gary Gregory
|
ba419eb28a
|
Fix GitHub action for Java 15-ea.
|
2020-07-26 17:24:41 -04:00 |
|
Gary Gregory
|
858a64af53
|
GitHub builds on Java 8, 11, and 14 (current), allow fails on 15-ea.
|
2020-07-23 11:29:43 -04:00 |
|
Gary Gregory
|
7268d281b3
|
Add missing header.
|
2020-07-22 10:29:50 -04:00 |
|
Gary Gregory
|
a0f9e31ec6
|
Enable GitHub Dependabot.
|
2020-07-22 10:17:38 -04:00 |
|
Gary Gregory
|
d909c8c415
|
Test major Java versions with GitHub actions as documented on
https://github.com/actions/setup-java
# WARNING: head commit changed in the meantime
@Deprecated
|
2020-05-30 11:00:44 -04:00 |
|