Paul Campbell
4fe7d51c87
* Replace Jenkins with Github Actions for CI * Remove JDK 13 from build matrix Add it back in again once everything else has settled down.
9.6 KiB
9.6 KiB