aboutsummaryrefslogtreecommitdiff
path: root/.github/ci/rust.sh
diff options
context:
space:
mode:
authorDario Nieuwenhuis <[email protected]>2023-05-29 19:46:46 +0200
committerDario Nieuwenhuis <[email protected]>2023-05-29 19:51:06 +0200
commit421ee4dfbfbbdc007265498d4f529687c16d89af (patch)
tree82e888ad5ea0af46fd33188fdf923e3d2ecd0a1a /.github/ci/rust.sh
parent46961cfdf72a3b5d54b241a41d9f2496c6dc6229 (diff)
ci: add stable build, add tests.
Diffstat (limited to '.github/ci/rust.sh')
-rwxr-xr-x.github/ci/rust.sh20
1 files changed, 0 insertions, 20 deletions
diff --git a/.github/ci/rust.sh b/.github/ci/rust.sh
deleted file mode 100755
index db1fc8538..000000000
--- a/.github/ci/rust.sh
+++ /dev/null
@@ -1,20 +0,0 @@
1#!/bin/bash
2## on push branch~=gh-readonly-queue/main/.*
3## on pull_request
4
5set -euo pipefail
6
7echo Hello World!
8
9export RUSTUP_HOME=/ci/cache/rustup
10export CARGO_HOME=/ci/cache/cargo
11export CARGO_TARGET_DIR=/ci/cache/target
12if [ -f /ci/secrets/teleprobe-token.txt ]; then
13 echo Got teleprobe token!
14 export TELEPROBE_TOKEN=$(cat /ci/secrets/teleprobe-token.txt)
15fi
16
17hashtime restore /ci/cache/filetime.json || true
18hashtime save /ci/cache/filetime.json
19
20./ci.sh