max/embassy
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Merge pull request #1856 from embassy-rs/teleprobe-cache

Browse Source 
Add teleprobe cache.
This commit is contained in:
Dario Nieuwenhuis 2023-09-03 01:45:28 +02:00 committed by GitHub
commit ac11635b0b
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
.github/ci/build.sh vendored
View File

@ -11,6 +11,7 @@ if [ -f /ci/secrets/teleprobe-token.txt ]; then
echo Got teleprobe token! echo Got teleprobe token!
export TELEPROBE_HOST=https://teleprobe.embassy.dev export TELEPROBE_HOST=https://teleprobe.embassy.dev
export TELEPROBE_TOKEN=$(cat /ci/secrets/teleprobe-token.txt) export TELEPROBE_TOKEN=$(cat /ci/secrets/teleprobe-token.txt)
export TELEPROBE_CACHE=/ci/cache/teleprobe_cache.json
fi fi
hashtime restore /ci/cache/filetime.json || true hashtime restore /ci/cache/filetime.json || true