mirror of
https://github.com/embassy-rs/embassy.git
synced 2024-11-22 23:02:30 +00:00
20 lines
508 B
Bash
Executable File
20 lines
508 B
Bash
Executable File
#!/bin/bash
|
|
## on push branch~=gh-readonly-queue/main/.*
|
|
## on pull_request
|
|
|
|
set -euo pipefail
|
|
|
|
export RUSTUP_HOME=/ci/cache/rustup
|
|
export CARGO_HOME=/ci/cache/cargo
|
|
export CARGO_TARGET_DIR=/ci/cache/target
|
|
if [ -f /ci/secrets/teleprobe-token.txt ]; then
|
|
echo Got teleprobe token!
|
|
export TELEPROBE_HOST=https://teleprobe.embassy.dev
|
|
export TELEPROBE_TOKEN=$(cat /ci/secrets/teleprobe-token.txt)
|
|
fi
|
|
|
|
hashtime restore /ci/cache/filetime.json || true
|
|
hashtime save /ci/cache/filetime.json
|
|
|
|
./ci.sh
|