3 Commits (88faae1546ed065ea54caa8c9cdb2c97311c185c)

Author	SHA1	Message	Date
baztian	88faae1546	Remove dummy flag not required anymore	2020-06-23 22:57:28 +02:00
baztian	9b1fd6e7fe	Try again with a fixed coveralls approach for more reasonable job names	2020-06-23 22:44:52 +02:00
baztian	f6a233559b	Rename github action workflow	2020-06-21 23:07:22 +02:00