* Release 5.4.0 * Update deploy.sh (#286) Update deploy.sh * Add missing comma in deploy/sh * Fix typo * Revert "Release 5.4.0" This reverts commit 15627d4520.
15627d4520
* Replace Jenkins with Github Actions for CI * Remove JDK 13 from build matrix Add it back in again once everything else has settled down.