Sean 5b2fe01965 Replace travis with github actions ... Remove travis, add github actions		2020-11-18 18:35:13 +01:00
..
ISSUE_TEMPLATE	Update issue templates	2019-08-06 11:22:13 +02:00
workflows	Replace travis with github actions	2020-11-18 18:35:13 +01:00