3 Commits

Author	SHA1	Message	Date
Tom	e824962b85	github/workflow: install dependency 'catch2'	2020-07-18 00:40:00 +02:00
Tom	af223944b6	github/workflow: do not abort if build directory exists	2020-07-18 00:26:01 +02:00
Tom	9ea3db19c3	add github workflow	2020-07-18 00:21:44 +02:00