ci: fix installation of CI tools

.github/workflows/book.yml

@@ -44,9 +44,9 @@ jobs:
 
       - name: Install mdbook and Dependencies
         run: |
-          cargo install mdbook || true
-          cargo install mdbook-linkcheck || true
-          cargo install --git https://github.com/christianmoesl/mdbook-graphviz || true
+          cargo install mdbook --locked || true
+          cargo install mdbook-linkcheck --locked || true
+          cargo install --git https://github.com/dylanowen/mdbook-graphviz || true
 
       - name: Generate Book as Html
         run: mdbook build book

.github/workflows/release.yml

@@ -32,7 +32,7 @@ jobs:
             uses: actions-rs/cargo@v1
             with:
                 command: install
-                args: semantic-release-rust --version 1.0.0-alpha.7
+                args: semantic-release-rust --version 1.0.0-alpha.7 --locked
 
           # The release build is used in the Semantic Release step
           - name: Build

.github/workflows/test.yml

@@ -52,7 +52,7 @@ jobs:
 
       - name: Install Rust Cross Compiler
         run: |
-          cargo install cross || true
+          cargo install cross --locked || true
           rustup target add riscv64gc-unknown-linux-gnu
 
       - name: Check Format
@@ -109,7 +109,7 @@ jobs:
           key: ${{ runner.os }}-${{ github.job }}-cargo-${{ hashFiles('**/Cargo.lock') }}
 
       - name: Install Rust Dependency Scanner
-        run: cargo install audit || true
+        run: cargo install audit --locked || true
 
       - name: Scan Dependencies
         run: cargo audit

README.md

@@ -15,7 +15,7 @@ Monster is a symbolic execution engine for 64-bit RISC-U binaries generated by [
 
 Once Rust is installed (see step 1-3 in "Toolchain Setup"), you can easily install the latest version of Monster with:
 ```
-$ cargo install monster-rs
+$ cargo install monster-rs --locked
 $ monster --help
 ```
 
@@ -46,10 +46,10 @@ $ echo 'export PATH="$HOME/.cargo/bin:$PATH"' >> ~/.zshrc && source ~/.zshrc
 ```
 4. Install tool for cross compilation and documentation generation
 ```
-$ cargo install cross
-$ cargo install mdbook
-$ cargo install mdbook-linkcheck
-$ cargo install mdbook-graphviz
+$ cargo install cross --locked
+$ cargo install mdbook --locked
+$ cargo install mdbook-linkcheck --locked
+$ cargo install mdbook-graphviz --locked
 ```
 5. install Docker and LLVM with your favorite package manager