From 786e89498c6ba241134c846ce0430c93959e4714 Mon Sep 17 00:00:00 2001 From: Emmanuel Valverde Ramos Date: Wed, 13 Sep 2023 14:01:43 +0200 Subject: [PATCH] chore: make the docs pipeline name shorter --- .github/workflows/deploy-docs.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/deploy-docs.yml b/.github/workflows/deploy-docs.yml index 0493034a..f4f773f8 100644 --- a/.github/workflows/deploy-docs.yml +++ b/.github/workflows/deploy-docs.yml @@ -1,4 +1,4 @@ -name: Deploy Docs site with VitePress to Pages +name: Deploy Docs on: push: