diff options
| author | Dario Nieuwenhuis <[email protected]> | 2023-05-30 00:10:36 +0200 |
|---|---|---|
| committer | Dario Nieuwenhuis <[email protected]> | 2023-05-30 01:10:53 +0200 |
| commit | 020e956f1ba5c0b3baf75b02f286218f661e1c02 (patch) | |
| tree | 486197f43cb3124e5d185d0a67ff4819afab90ff /.github/ci | |
| parent | 3760bdbb1b7b8d8aa8f59befdc31fbf9e09aaa5a (diff) | |
ci: run HIL tests in parallel.
Diffstat (limited to '.github/ci')
| -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 1c3a7f3b0..30ca1e6f0 100755 --- a/.github/ci/build.sh +++ b/.github/ci/build.sh | |||
| @@ -9,6 +9,7 @@ export CARGO_HOME=/ci/cache/cargo | |||
| 9 | export CARGO_TARGET_DIR=/ci/cache/target | 9 | export CARGO_TARGET_DIR=/ci/cache/target |
| 10 | if [ -f /ci/secrets/teleprobe-token.txt ]; then | 10 | 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_TOKEN=$(cat /ci/secrets/teleprobe-token.txt) | 13 | export TELEPROBE_TOKEN=$(cat /ci/secrets/teleprobe-token.txt) |
| 13 | fi | 14 | fi |
| 14 | 15 | ||