From 26316646a47ff7bad82b54b24bb1f2d84615171b Mon Sep 17 00:00:00 2001 From: Ahmad Rezaii Date: Fri, 7 Feb 2025 13:40:31 -0700 Subject: [PATCH] further limit docs-push ghci step Signed-off-by: Ahmad Rezaii --- .github/workflows/CI.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/CI.yml b/.github/workflows/CI.yml index bef1652f5ab4..b4557884f245 100644 --- a/.github/workflows/CI.yml +++ b/.github/workflows/CI.yml @@ -192,7 +192,7 @@ jobs: done publish-docs: - if: github.event_name == 'push' + if: github.event_name == 'push' && github.repository == 'chapel-lang/chapel' runs-on: ubuntu-latest needs: make_doc steps: