From 9b4bd6bff754e6b654f85fc676288ff660dbc6b3 Mon Sep 17 00:00:00 2001 From: Emilio Cobos Álvarez Date: Tue, 4 Jul 2017 18:29:16 +0200 Subject: Pin the mdbook version for CI. Fixes #779. --- ci/deploy-book.sh | 2 +- ci/test-book.sh | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/ci/deploy-book.sh b/ci/deploy-book.sh index 0c2a2b5f..ba38697e 100755 --- a/ci/deploy-book.sh +++ b/ci/deploy-book.sh @@ -4,7 +4,7 @@ set -xeu cd "$(dirname "$0")/../book" # Ensure mdbook is installed. -cargo install mdbook || true +cargo install mdbook --vers "^0.0.22" || true export PATH="$PATH:~/.cargo/bin" # Get the git revision we are on. diff --git a/ci/test-book.sh b/ci/test-book.sh index 30b23318..b2007e7c 100755 --- a/ci/test-book.sh +++ b/ci/test-book.sh @@ -3,7 +3,7 @@ set -xeu cd "$(dirname "$0")/../book" -cargo install mdbook || true +cargo install mdbook --vers "^0.0.22" || true export PATH="$PATH:~/.cargo/bin" mdbook build -- cgit v1.2.3