Change workflow file name
diff --git a/.github/workflows/build.yml b/.github/workflows/build_pull.yml
similarity index 100%
rename from .github/workflows/build.yml
rename to .github/workflows/build_pull.yml