5 Commits

Author	SHA1	Message	Date
Tom	cf3e787279	github/workflow: split up steps into small pieces	2020-07-18 01:33:33 +02:00
Tom	999814c9ff	github/workflow: add timeout	2020-07-18 01:26:08 +02:00
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