This PR addresses this comment:
I wonder if one CI task should be using Ninja (and cmake >= 3.27), if it isn’t too hard to implement. Otherwise this config will remain untested and errors may sneak in to the master branch, only being detected after merge.