diff options
| author | Dario Nieuwenhuis <[email protected]> | 2023-09-16 02:06:22 +0000 |
|---|---|---|
| committer | GitHub <[email protected]> | 2023-09-16 02:06:22 +0000 |
| commit | 80d7193b5b7442fb7a9cee00a5a51300778acdcd (patch) | |
| tree | 6eaa13745fc8df757e07c9c4e749aa7343a7f206 /.github/ci/build.sh | |
| parent | f27620cc0b7a50c0ba5e93c96a6a88be252af286 (diff) | |
| parent | 8315cf064eab133006e1397819b50f072fec6398 (diff) | |
Merge pull request #1911 from embassy-rs/stm32wba
stm32: add stm32wba support.
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 | ||