3 Commits

Author	SHA1	Message	Date
Robert Jördens	624ff73e64	github: more gha, no travis	2020-06-16 16:56:30 +02:00
Robert Jördens	1cc31f9a6b	cleanup bors	2019-07-02 11:30:18 +02:00
Robert Jördens	a575611e82	add bors	2019-06-03 17:22:38 +02:00