chore: enhance ci

This commit is contained in:
Florian Forster 2020-04-09 21:08:16 +02:00
parent 83307374fd
commit 8d98ddd592