1 commit

Author	SHA1	Message	Date
Paul Campbell	4fe7d51c87	Replace Jenkins with Github Actions for CI (#282) ... * Replace Jenkins with Github Actions for CI * Remove JDK 13 from build matrix Add it back in again once everything else has settled down.	2020-03-17 10:22:19 +00:00