Restore update-includes.sh script in CI (#259)

* Restore update-includes.sh script in CI

It was removed in 0dc13b4ea1 and since
then the CI build throws a bunch of errors but still exits with status
code 0.

* Add missing dependencies for update-includes.sh script

---------

Co-authored-by: ziflit <ziflit@no-reply.github.com>
This commit is contained in:
Santiago sacuna 2023-07-26 08:06:00 -03:00 committed by GitHub
parent b83e257ab4
commit 379c208ea7
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -28,9 +28,11 @@ pipeline:
check_documentation_build:
image: alpine:3
commands:
- apk add bash curl git
- wget -O mdbook.tar.gz https://github.com/rust-lang/mdBook/releases/download/v0.4.30/mdbook-v0.4.30-x86_64-unknown-linux-musl.tar.gz
- tar -xzf mdbook.tar.gz
- ls -la mdbook
- ./update-includes.sh
- ./mdbook build .
dead_links: