Jeremy 2ae193256d Try using ninja in the build ci setup		2024-07-13 22:50:18 -05:00
..
workflows	Try using ninja in the build ci setup	2024-07-13 22:50:18 -05:00