From 4fcf69ddad10c976e07197ab0f60f40c5fe5c428 Mon Sep 17 00:00:00 2001 From: reggie Date: Fri, 11 Oct 2024 20:19:39 -0500 Subject: [PATCH] (future) use `mirror/docs` for on-push to docs --- .github/workflows/docs.yml | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml index 5bb5477d..c729c3fe 100644 --- a/.github/workflows/docs.yml +++ b/.github/workflows/docs.yml @@ -3,8 +3,7 @@ name: Build docs on: push: branches: - - 'master' - - 'mirror/master' + - 'mirror/docs' paths: - 'docs/**' - '.github/workflows/docs.yml'