fix: do not run make docs

zdharma-continuum · Apr 2, 2023 · 3802893 · 3802893
1 parent 3173e6d
commit 3802893
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/documentation.yaml b/.github/workflows/documentation.yaml
@@ -30,7 +30,7 @@ jobs:
           echo "" >> $GITHUB_STEP_SUMMARY # this is a blank line
           if ! git --no-pager diff --exit-code; then
             echo "::error:: Z-shelldocs are out-of-date." >> $GITHUB_STEP_SUMMARY
-            echo "To regenerate, run `make doc`" >> $GITHUB_STEP_SUMMARY
+            echo 'To regenerate, run `make doc`' >> $GITHUB_STEP_SUMMARY
             exit 1
           else
             echo "::notice:: Z-shelldocs are up-to-date." >> $GITHUB_STEP_SUMMARY