Check if tasks are up-to-date as well

opendevstack · Mar 3, 2023 · 61bda72 · 61bda72
1 parent 4cac16c
commit 61bda72
Showing 1 changed file with 3 additions and 3 deletions.
diff --git 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