diff --git a/.github/workflows/check-docs.sh b/.github/workflows/check-docs.sh index e2746906..b11f0f68 100755 --- a/.github/workflows/check-docs.sh +++ b/.github/workflows/check-docs.sh @@ -2,9 +2,9 @@ set -eu make docs -if ! git diff --quiet docs; then - echo "Docs are not up-to-date! Run 'make docs' to update." +if ! git diff --quiet docs tasks; then + echo "Docs / tasks are not up-to-date! Run 'make docs' to update." exit 1 else - echo "Docs are up-to-date." + echo "Docs /tasks are up-to-date." fi