3 Commits

Author	SHA1	Message	Date
Sebastian Serth	28a2ac5b29	Disable codeharbor for CI	2021-02-16 14:34:31 +01:00
Sebastian Serth	293bcccc80	Introduce new enabled option for CodeHarbor ... * Fix tests to ensure they work independent of config option	2021-02-16 14:29:54 +01:00
Sebastian Serth	6fb521f80a	Use GitHub Actions for CI	2020-12-07 16:00:26 +01:00