| #!/bin/bash |
| # Start the CI build. You shouldn't run this locally: call either src/ci/run.sh |
| # or src/ci/docker/run.sh instead. |
| |
| set -euo pipefail |
| IFS=$'\n\t' |
| |
| source "$(cd "$(dirname "$0")" && pwd)/../shared.sh" |
| |
| export CI="true" |
| export SRC=. |
| |
| echo "::add-matcher::src/ci/github-actions/problem_matchers.json" |
| |
| # Remove any preexisting rustup installation since it can interfere |
| # with the cargotest step and its auto-detection of things like Clippy in |
| # the environment |
| rustup self uninstall -y || true |
| if [ -z "${IMAGE+x}" ]; then |
| src/ci/run.sh |
| else |
| src/ci/docker/run.sh "${IMAGE}" |
| fi |
