Use better command.

This commit is contained in:
LukeMathWalker 2024-08-06 17:04:58 +02:00
parent 64f277b3e5
commit 10e2777434

View file

@ -104,7 +104,7 @@ jobs:
./helpers/json2redirects.sh book/link2alias.json > site/redirects ./helpers/json2redirects.sh book/link2alias.json > site/redirects
# Verify nothing has changed, meaning that the redirect file is up-to-date # Verify nothing has changed, meaning that the redirect file is up-to-date
- run: | - run: |
git diff-index --quiet HEAD || (echo "Redirects are out-of-date" && git diff && exit 1) git diff --exit-code site/redirects
formatter: formatter:
runs-on: ubuntu-latest runs-on: ubuntu-latest