From ded6e2e8528c91c31a1aa1871451e241293c5066 Mon Sep 17 00:00:00 2001 From: Marco polo Date: Mon, 20 May 2024 15:43:46 -0400 Subject: [PATCH] Make changing docs workflow file and changelog trigger build on push (#21984) ## Summary & Motivation As titled --- .github/workflows/build-docs.yml | 2 ++ 1 file changed, 2 insertions(+) diff --git a/.github/workflows/build-docs.yml b/.github/workflows/build-docs.yml index 478f20677c43b..c66c5cfb7eb70 100644 --- a/.github/workflows/build-docs.yml +++ b/.github/workflows/build-docs.yml @@ -7,6 +7,8 @@ on: - docs-prod # prod paths: - docs/** + - CHANGES.md + - .github/workflows/build-docs.yml pull_request: paths: - docs/**