From 58e6487305445aac8160e61bb1fdb1d397a780ee Mon Sep 17 00:00:00 2001 From: George Oastler Date: Wed, 6 Mar 2024 15:17:10 +0000 Subject: [PATCH] only do git diff on html files for docs --- .github/workflows/docs.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml index 5c2d304aa1..70c703e24e 100644 --- a/.github/workflows/docs.yml +++ b/.github/workflows/docs.yml @@ -113,4 +113,4 @@ jobs: # check if there are any changes to the docs # if there are changes, then the docs are not up-to-date and the most recent commit did not update the docs and only the docs - git diff --exit-code -- docs + git diff --exit-code -- 'docs/**/*.html'