diff --git a/.github/workflows/build-docs.yml b/.github/workflows/build-docs.yml index 35467edfe71..a4ddc63f62b 100644 --- a/.github/workflows/build-docs.yml +++ b/.github/workflows/build-docs.yml @@ -54,7 +54,7 @@ jobs: - name: Check for changes in documentation run: | - if git diff origin/main..."$(git rev-parse --abbrev-ref HEAD)" --name-only | grep -q 'docs'; then + if git diff origin/master..."$(git rev-parse --abbrev-ref HEAD)" --name-only | grep -q 'docs'; then num_files=$(git diff --name-only origin/master...HEAD | grep '^docs/' | wc -l) echo "Changes found in documentation files: $num_files" exit 1 diff --git a/docs/index.rst b/docs/index.rst index 6375cc723fd..370d068d617 100644 --- a/docs/index.rst +++ b/docs/index.rst @@ -96,7 +96,7 @@ Mission Statement .. toctree:: - :caption: Other Resources + :caption: Other Resources :hidden: resources/credits