From eb9cd677ac72ffedaf1ea740430557040d32f606 Mon Sep 17 00:00:00 2001 From: Takanori Hirano Date: Thu, 21 Aug 2025 12:15:38 +0000 Subject: [PATCH] ci: simplify docs workflow name Rename workflow from "Deploy Docs to GitHub Pages" to "Docs" for cleaner display in GitHub Actions UI. --- .github/workflows/docs.yaml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/docs.yaml b/.github/workflows/docs.yaml index c840674..6d0cccf 100644 --- a/.github/workflows/docs.yaml +++ b/.github/workflows/docs.yaml @@ -1,4 +1,4 @@ -name: Deploy Docs to GitHub Pages +name: Docs on: push: