From 2c223ed9576b6b54ee3c84ec5b358cb696fe3903 Mon Sep 17 00:00:00 2001 From: ioangatop Date: Thu, 21 Mar 2024 11:36:56 +0100 Subject: [PATCH] Rename docs deploy (#334) --- .github/workflows/docs.yaml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/.github/workflows/docs.yaml b/.github/workflows/docs.yaml index 9b944077..9052a6f3 100644 --- a/.github/workflows/docs.yaml +++ b/.github/workflows/docs.yaml @@ -1,5 +1,5 @@ --- -name: Publish Develop Docs +name: Docs on: push: @@ -29,7 +29,7 @@ jobs: run: | git config user.email "action@github.com" git config user.name "GitHub Action" - - name: Build Documentation + - name: Deploy Documentation run: | git fetch origin gh-pages:gh-pages nox -s docs -- deploy --update-aliases dev