diff --git a/.github/workflows/build-doc.yaml b/.github/workflows/publish-doc.yaml similarity index 97% rename from .github/workflows/build-doc.yaml rename to .github/workflows/publish-doc.yaml index 2a542d17..f5b45205 100644 --- a/.github/workflows/build-doc.yaml +++ b/.github/workflows/publish-doc.yaml @@ -1,4 +1,4 @@ -name: Build documentation +name: Publish documentation on: push: