Nico Weber a1d3f9e81e CI: Use Ninja for building (#4293) ... Makes watching build output on Actions on PRs slightly more pleasant.		2020-12-02 10:45:16 +01:00
..
cmake.yml	CI: Use Ninja for building (#4293)	2020-12-02 10:45:16 +01:00