diff --git a/.github/workflows/doc_main.yaml b/.github/workflows/doc.yaml similarity index 97% rename from .github/workflows/doc_main.yaml rename to .github/workflows/doc.yaml index a263531e..06499bad 100644 --- a/.github/workflows/doc_main.yaml +++ b/.github/workflows/doc.yaml @@ -1,4 +1,4 @@ -name: Document main +name: Document on: push: