From 3802893c74988fc03bad086601c905a1046a9fc1 Mon Sep 17 00:00:00 2001 From: Philipp Schmitt Date: Sun, 2 Apr 2023 12:35:08 +0200 Subject: [PATCH] fix: do not run `make docs` --- .github/workflows/documentation.yaml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/documentation.yaml b/.github/workflows/documentation.yaml index 4c16b728a..a77f2dc67 100644 --- 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