zsh/zdharma-continuum.zinit
1
0
Fork 0
mirror of https://github.com/zdharma-continuum/zinit.git synced 2026-09-10 07:36:38 -04:00
Code Issues Actions Packages Projects Releases Wiki Activity

fix: do not run make docs

Browse source
This commit is contained in:
Philipp Schmitt 2023-04-02 12:35:08 +02:00
parent 3173e6df7d
commit 3802893c74
No known key found for this signature in database
GPG key ID: DC439C47EACB17F9
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
.github/workflows/documentation.yaml vendored
View file

@ -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