diff options
| author | Vega Deftwing <[email protected]> | 2024-04-11 19:47:31 +0000 |
|---|---|---|
| committer | Vega Deftwing <[email protected]> | 2024-04-11 19:47:31 +0000 |
| commit | 80fadada7056516aa566033929a305b36f6b9be4 (patch) | |
| tree | 9debcba68ea65a5cd4a85bde68b82c65bd42c81f /.github/ci/build.sh | |
| parent | 9053b6b5b3a09e48ed5e2476a5f712c9796828d5 (diff) | |
.sh whitespace and shellcheck fixes
Diffstat (limited to '.github/ci/build.sh')
| -rwxr-xr-x | .github/ci/build.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.github/ci/build.sh b/.github/ci/build.sh index 77d2b3cab..68a7c0c34 100755 --- a/.github/ci/build.sh +++ b/.github/ci/build.sh | |||
| @@ -7,7 +7,7 @@ set -euo pipefail | |||
| 7 | export RUSTUP_HOME=/ci/cache/rustup | 7 | export RUSTUP_HOME=/ci/cache/rustup |
| 8 | export CARGO_HOME=/ci/cache/cargo | 8 | 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_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) |