4 Commits

Author	SHA1	Message	Date
Robert Vojta	39fc90ad9e	Include toolchain in the job name ... Signed-off-by: Robert Vojta <rvojta@me.com>	2019-10-18 23:06:02 +02:00
Robert Vojta	d2e5fca7a1	Fix indentation ... Signed-off-by: Robert Vojta <rvojta@me.com>	2019-10-18 22:49:30 +02:00
Robert Vojta	072857ed67	Retest GitHub actions ... Signed-off-by: Robert Vojta <rvojta@me.com>	2019-10-18 22:48:35 +02:00
Timon	6a33566aa6	Github Workflow (#206)	2019-09-12 21:33:33 +02:00