3 Commits (bf5b01d41cdc4f7bb2fe984b2393ce1d41a4761f)

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