3 Commits (f82206311f566cd5fa438f8df42f5cee6a41fae4)

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