55 Commits

Author	SHA1	Message	Date
Robert Jördens	5d3f32469a	fix gha workflow	2020-06-16 16:59:16 +02:00
Robert Jördens	624ff73e64	github: more gha, no travis	2020-06-16 16:56:30 +02:00
Robert Jördens	5dffe1c456	try github actions	2019-09-11 17:28:53 +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