mirror of
https://github.com/zdharma-continuum/zinit.git
synced 2026-09-10 07:36:38 -04:00
fix: docs workflow should fail if out-of-date (#278)
Signed-off-by: Vladislav Doster <mvdoster@gmail.com>
This commit is contained in:
parent
8620574a55
commit
07cde66008
4
.github/workflows/documentation.yaml
vendored
4
.github/workflows/documentation.yaml
vendored
|
|
@ -10,7 +10,6 @@ on:
|
|||
workflow_dispatch:
|
||||
|
||||
jobs:
|
||||
|
||||
zshelldoc:
|
||||
runs-on: ubuntu-latest
|
||||
steps:
|
||||
|
|
@ -26,5 +25,6 @@ jobs:
|
|||
- name: check for out-of-date documentation
|
||||
run: |
|
||||
if ! git --no-pager diff --exit-code; then
|
||||
echo "::set-output zshelldocs are out-of-date, run 'make doc'"
|
||||
echo "::error:: Z-shelldocs are out-of-date. To regenerate, run 'make doc'"
|
||||
exit 1
|
||||
fi
|
||||
|
|
|
|||
|
|
@ -261,7 +261,7 @@ ____
|
|||
package. Connects to Github releases page.
|
||||
____
|
||||
|
||||
Has 130 line(s). Calls functions:
|
||||
Has 115 line(s). Calls functions:
|
||||
|
||||
.zinit-get-latest-gh-r-url-part
|
||||
`-- zinit.zsh/+zinit-message
|
||||
|
|
|
|||
Loading…
Reference in a new issue