CI: Update mdbook binaries

This commit is contained in:
parazyd
2023-08-23 19:17:46 +02:00
parent cee481b0c3
commit 535bd2c870

View File

@@ -41,10 +41,10 @@ jobs:
pip install ghp-import
pip install prettytable
sudo apt -y install make wget libasound2-dev
wget "https://github.com/badboy/mdbook-toc/releases/download/0.12.0/mdbook-toc-0.12.0-x86_64-unknown-linux-gnu.tar.gz"
wget "https://github.com/lzanini/mdbook-katex/releases/download/v0.5.3/mdbook-katex-v0.5.3-x86_64-unknown-linux-gnu.tar.gz"
wget "https://github.com/badboy/mdbook-toc/releases/download/0.14.1/mdbook-toc-0.14.1-x86_64-unknown-linux-gnu.tar.gz"
wget "https://github.com/lzanini/mdbook-katex/releases/download/v0.5.7/mdbook-katex-v0.5.7-x86_64-unknown-linux-gnu.tar.gz"
wget "https://github.com/badboy/mdbook-mermaid/releases/download/v0.12.6/mdbook-mermaid-v0.12.6-x86_64-unknown-linux-gnu.tar.gz"
wget "https://github.com/rust-lang/mdBook/releases/download/v0.4.30/mdbook-v0.4.30-x86_64-unknown-linux-gnu.tar.gz"
wget "https://github.com/rust-lang/mdBook/releases/download/v0.4.34/mdbook-v0.4.34-x86_64-unknown-linux-gnu.tar.gz"
for i in *.tar.gz; do
tar xf "$i"
rm -f "$i"
@@ -54,7 +54,7 @@ jobs:
- name: Compile and publish the book and rustdoc
run: |
git config --local user.email "41898282+github-actions[bot]@users.noreply.github.com"
git config --local user.name "parazyd"
git config --local user.name "bookworm"
cd doc
make github
git checkout gh-pages