Build #15 (Sep 25, 2025, 3:27:08 AM)

1. The cmake update (#1253) (details / githubweb)
2. Making cmake only optionally use ninja. Now we only use it if it's available. (details / githubweb)

Started by an SCM change

• refs/remotes/origin/master