imp: use cargo binstall instead

informalsystems · Feb 13, 2024 · a7bb55b · a7bb55b
1 parent d3cc5fe
commit a7bb55b
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 3 deletions.
diff --git a/.github/workflows/risc0-check.yml b/.github/workflows/risc0-check.yml
@@ -18,7 +18,6 @@ env:
   CARGO_PROFILE_RELEASE_DEBUG: 1
   CARGO_NET_RETRY: 10
   RUSTUP_MAX_RETRIES: 10
-  RISC0_DEV_MODE: 1
 
 jobs:
   risc0-check:
@@ -31,7 +30,7 @@ jobs:
       - name: Cache dependencies
         uses: Swatinem/rust-cache@v2
       - name: Install cargo-risc0
-        run: cargo install cargo-risczero
+        run: cargo binstall cargo-risczero
       - name: Install risc0-zkvm toolchain
         run: cargo risczero install
         env:

diff --git a/Makefile b/Makefile
@@ -58,4 +58,4 @@ docs:  ## Generates documentation locally
 	cargo doc --all-features --no-deps --release --open
 
 check-risc0:  ## Checks that the project compiles with risc0
-	cd ci/risc0-check && RISC0_DEV_MODE=1 CARGO_NET_GIT_FETCH_WITH_CLI=true cargo run
+	cd ci/risc0-check && RISC0_DEV_MODE=1 cargo run