Thomas Rudin 152d01f6c4 run tests on PR's		2020-01-13 17:33:06 +01:00
..
workflows	run tests on PR's	2020-01-13 17:33:06 +01:00