aboutsummaryrefslogtreecommitdiff
path: root/.github/ci/build-stable.sh
blob: 0dadd610260c24e0e50ca9dc295973fa9ef51ab3 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
#!/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

hashtime restore /ci/cache/filetime.json || true
hashtime save /ci/cache/filetime.json

sed -i 's/channel.*/channel = "stable"/g' rust-toolchain.toml

./ci_stable.sh