fix: try git-fetch-with-cli in methods

informalsystems · Feb 13, 2024 · 34b2cc4 · 34b2cc4
1 parent 4cbccd8
commit 34b2cc4
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 1 deletion.
diff --git a/.github/workflows/risc0-check.yml b/.github/workflows/risc0-check.yml
@@ -13,12 +13,13 @@ on:
       - '**/Cargo.toml'
 
 env:
+  CARGO_INCREMENTAL: 0
   CARGO_PROFILE_DEV_DEBUG: 1
   CARGO_PROFILE_RELEASE_DEBUG: 1
+  CARGO_NET_GIT_FETCH_WITH_CLI: true
   CARGO_NET_RETRY: 10
   RUSTUP_MAX_RETRIES: 10
   RISC0_DEV_MODE: 1
-  CARGO_NET_GIT_FETCH_WITH_CLI: true
 
 jobs:
   risc0-check:

diff --git a/ci/risc0-check/methods/guest/Cargo.toml b/ci/risc0-check/methods/guest/Cargo.toml
@@ -10,3 +10,6 @@ sov-ibc = { path = "../../../../modules/sov-ibc" }
 sov-ibc-transfer = { path = "../../../../modules/sov-ibc-transfer" }
 sov-celestia-client = { path = "../../../../clients/sov-celestia" }
 risc0-zkvm = { version = "0.20.1", default-features = false, features = ["std"] }
+
+[net]
+git-fetch-with-cli = true