2023-05-26 23:05:18 +02:00
|
|
|
#!/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
|
|
|
|
|
2023-05-29 19:46:46 +02:00
|
|
|
sed -i 's/channel.*/channel = "stable"/g' rust-toolchain.toml
|
|
|
|
|
|
|
|
./ci_stable.sh
|