Commit 2024-09-03 14:14 ffc63b4a

chore: move build.yml.in to ../build.in.yml (#16439) The main motivation is to use the "correct" extension and get syntax highlighting and better editing experience for this file! The reason to move it one dir up, is that otherwise it gets picked up by GitHub CI as a possible workflow.