diff options
| author | Dario Nieuwenhuis <[email protected]> | 2023-09-14 18:04:43 +0200 |
|---|---|---|
| committer | Dario Nieuwenhuis <[email protected]> | 2023-09-16 02:16:33 +0200 |
| commit | a2a26f489b81a0ad34c5244f2acfde2ecb9951fe (patch) | |
| tree | cd184e249a367161e26d84a3553e546ccfb479d0 /.github/ci/build-stable.sh | |
| parent | f27620cc0b7a50c0ba5e93c96a6a88be252af286 (diff) | |
ci: set net.git-fetch-with-cli=true
Diffstat (limited to '.github/ci/build-stable.sh')
| -rwxr-xr-x | .github/ci/build-stable.sh | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/.github/ci/build-stable.sh b/.github/ci/build-stable.sh index 0dadd6102..8012f6923 100755 --- a/.github/ci/build-stable.sh +++ b/.github/ci/build-stable.sh | |||
| @@ -8,6 +8,10 @@ export RUSTUP_HOME=/ci/cache/rustup | |||
| 8 | export CARGO_HOME=/ci/cache/cargo | 8 | export CARGO_HOME=/ci/cache/cargo |
| 9 | export CARGO_TARGET_DIR=/ci/cache/target | 9 | export CARGO_TARGET_DIR=/ci/cache/target |
| 10 | 10 | ||
| 11 | # needed for "dumb HTTP" transport support | ||
| 12 | # used when pointing stm32-metapac to a CI-built one. | ||
| 13 | export CARGO_NET_GIT_FETCH_WITH_CLI=true | ||
| 14 | |||
| 11 | hashtime restore /ci/cache/filetime.json || true | 15 | hashtime restore /ci/cache/filetime.json || true |
| 12 | hashtime save /ci/cache/filetime.json | 16 | hashtime save /ci/cache/filetime.json |
| 13 | 17 | ||