diff --git a/.github/workflows/build_docs b/.github/workflows/build_docs.yaml similarity index 100% rename from .github/workflows/build_docs rename to .github/workflows/build_docs.yaml