diff options
| author | Dario Nieuwenhuis <[email protected]> | 2023-09-03 01:45:28 +0200 |
|---|---|---|
| committer | GitHub <[email protected]> | 2023-09-03 01:45:28 +0200 |
| commit | ac11635b0b97b7013ef280f7e978c13e86a132b8 (patch) | |
| tree | 20fcb9594b15b8ee3bfcbea5fdac022530666fe4 | |
| parent | 9baa3bafb0330d58bd98c0a974968c97c54c53a5 (diff) | |
| parent | 9dd58660c31371f8bdfd81f2b16fb117bf3ab647 (diff) | |
Merge pull request #1856 from embassy-rs/teleprobe-cache
Add teleprobe cache.
| -rwxr-xr-x | .github/ci/build.sh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/.github/ci/build.sh b/.github/ci/build.sh index 30ca1e6f0..36bf7e7dc 100755 --- a/.github/ci/build.sh +++ b/.github/ci/build.sh | |||
| @@ -11,6 +11,7 @@ if [ -f /ci/secrets/teleprobe-token.txt ]; then | |||
| 11 | echo Got teleprobe token! | 11 | echo Got teleprobe token! |
| 12 | export TELEPROBE_HOST=https://teleprobe.embassy.dev | 12 | export TELEPROBE_HOST=https://teleprobe.embassy.dev |
| 13 | export TELEPROBE_TOKEN=$(cat /ci/secrets/teleprobe-token.txt) | 13 | export TELEPROBE_TOKEN=$(cat /ci/secrets/teleprobe-token.txt) |
| 14 | export TELEPROBE_CACHE=/ci/cache/teleprobe_cache.json | ||
| 14 | fi | 15 | fi |
| 15 | 16 | ||
| 16 | hashtime restore /ci/cache/filetime.json || true | 17 | hashtime restore /ci/cache/filetime.json || true |