diff options
Diffstat (limited to '.github')
| -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 |