What's wrong?

This commit is contained in:
LukeMathWalker 2024-08-06 17:01:28 +02:00
parent 761391d625
commit 64f277b3e5

View file

@ -16,8 +16,10 @@ jobs:
with:
fetch-depth: 0
- uses: actions-rust-lang/setup-rust-toolchain@v1
- name: Install plugin
- name: Install exercise plugin
run: cargo install --path helpers/mdbook-exercise-linker
- name: Install link shortener plugin
run: cargo install --path helpers/mdbook-link-shortener
- name: Install mdbook-pandoc and related dependencies
run: |
cargo install mdbook-pandoc --locked --version 0.7.1
@ -102,7 +104,7 @@ jobs:
./helpers/json2redirects.sh book/link2alias.json > site/redirects
# Verify nothing has changed, meaning that the redirect file is up-to-date
- run: |
git diff-index --quiet HEAD || (echo "Redirects are out-of-date" && exit 1)
git diff-index --quiet HEAD || (echo "Redirects are out-of-date" && git diff && exit 1)
formatter:
runs-on: ubuntu-latest