Formatting for CI

This commit is contained in:
Jan-Philipp Benecke
2020-08-28 11:30:23 +02:00
parent 39a5688464
commit 2a9c56d9e3