Paul Campbell 8625cf155d Disable JDK 13 test builds (#58) ... There is a problem with JDK 13 in mutation testing, disabling this until that is resolved.		2020-03-21 10:31:58 +00:00
..
workflows	Disable JDK 13 test builds (#58)	2020-03-21 10:31:58 +00:00
codesigning.asc.gpg	Replace Jenkins with GitHub Actions (#57)	2020-03-20 12:19:08 +00:00
deploy.sh	Replace Jenkins with GitHub Actions (#57)	2020-03-20 12:19:08 +00:00
GitHub-Actions.org	Replace Jenkins with GitHub Actions (#57)	2020-03-20 12:19:08 +00:00
NOTES	Replace Jenkins with GitHub Actions (#57)	2020-03-20 12:19:08 +00:00
settings.xml	Replace Jenkins with GitHub Actions (#57)	2020-03-20 12:19:08 +00:00