chore: rename build.yml.in to build.in.yml

.github/workflows/bors.yml

@@ -1,7 +1,7 @@
 # DO NOT EDIT THIS FILE!!!
 
 # This file is automatically generated by mk_build_yml.sh
-# Edit build.yml.in instead and run mk_build_yml.sh to update.
+# Edit build.in.yml instead and run mk_build_yml.sh to update.
 
 # Forks of mathlib and other projects should be able to use build_fork.yml directly
 # The jobs in this file run on self-hosted workers and will not be run from external forks

.github/workflows/build.yml

@@ -1,7 +1,7 @@
 # DO NOT EDIT THIS FILE!!!
 
 # This file is automatically generated by mk_build_yml.sh
-# Edit build.yml.in instead and run mk_build_yml.sh to update.
+# Edit build.in.yml instead and run mk_build_yml.sh to update.
 
 # Forks of mathlib and other projects should be able to use build_fork.yml directly
 # The jobs in this file run on self-hosted workers and will not be run from external forks

.github/workflows/build_fork.yml

@@ -1,7 +1,7 @@
 # DO NOT EDIT THIS FILE!!!
 
 # This file is automatically generated by mk_build_yml.sh
-# Edit build.yml.in instead and run mk_build_yml.sh to update.
+# Edit build.in.yml instead and run mk_build_yml.sh to update.
 
 # Forks of mathlib and other projects should be able to use build_fork.yml directly
 # The jobs in this file run on GitHub-hosted workers and will only be run from external forks

.github/workflows/mk_build_yml.sh

@@ -7,7 +7,7 @@ header() {
 # DO NOT EDIT THIS FILE!!!
 
 # This file is automatically generated by mk_build_yml.sh
-# Edit build.yml.in instead and run mk_build_yml.sh to update.
+# Edit build.in.yml instead and run mk_build_yml.sh to update.
 
 # Forks of mathlib and other projects should be able to use build_fork.yml directly
 EOF
@@ -76,7 +76,7 @@ include() {
     s/MAIN_OR_FORK/$3/g;
     s/JOB_NAME/$4/g;
     s/STYLE_LINT_RUNNER/$5/g;
-  " build.yml.in
+  " build.in.yml
 }
 
 build_yml > build.yml