From 7592be17d759aff3732a4ea38bf3ba2badce63c1 Mon Sep 17 00:00:00 2001 From: Victor Lin Date: Thu, 7 May 2026 15:39:09 -0700 Subject: [PATCH] Use YAML anchor + alias Avoids duplicating the same list twice. --- .github/workflows/docs.yaml | 6 ++---- 1 file changed, 2 insertions(+), 4 deletions(-) diff --git a/.github/workflows/docs.yaml b/.github/workflows/docs.yaml index 4c71991c..c80e2285 100644 --- a/.github/workflows/docs.yaml +++ b/.github/workflows/docs.yaml @@ -4,14 +4,12 @@ on: push: branches: - master - paths: + paths: &paths - doc/** - .github/workflows/docs.yaml pull_request: - paths: - - doc/** - - .github/workflows/docs.yaml + paths: *paths workflow_dispatch: