Ben Woo 47ca7b821b Move to GitHub actions (#2671) ... * Remove use of travis. * Add basic github action maven build.		2021-07-17 09:31:20 +08:00
..
ISSUE_TEMPLATE	Update issue template with new tags.	2020-11-25 11:41:57 +08:00
workflows	Move to GitHub actions (#2671)	2021-07-17 09:31:20 +08:00