diff options
Diffstat (limited to '.github/ci/build.sh')
| -rwxr-xr-x | .github/ci/build.sh | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/.github/ci/build.sh b/.github/ci/build.sh index 36bf7e7dc..78ab976df 100755 --- a/.github/ci/build.sh +++ b/.github/ci/build.sh | |||
| @@ -14,6 +14,10 @@ if [ -f /ci/secrets/teleprobe-token.txt ]; then | |||
| 14 | export TELEPROBE_CACHE=/ci/cache/teleprobe_cache.json | 14 | export TELEPROBE_CACHE=/ci/cache/teleprobe_cache.json |
| 15 | fi | 15 | fi |
| 16 | 16 | ||
| 17 | # needed for "dumb HTTP" transport support | ||
| 18 | # used when pointing stm32-metapac to a CI-built one. | ||
| 19 | export CARGO_NET_GIT_FETCH_WITH_CLI=true | ||
| 20 | |||
| 17 | hashtime restore /ci/cache/filetime.json || true | 21 | hashtime restore /ci/cache/filetime.json || true |
| 18 | hashtime save /ci/cache/filetime.json | 22 | hashtime save /ci/cache/filetime.json |
| 19 | 23 | ||
