Christian Kühnel ba32421384 removed "ninja check" to speed up builds		2019-11-12 16:31:11 +01:00
..
master-pipeline	removed "ninja check" to speed up builds	2019-11-12 16:31:11 +01:00
Phabricator-pipeline	removed "ninja check" to speed up builds	2019-11-12 16:31:11 +01:00