2020-05-10 16:49:10 -05:00
|
|
|
build: off # No Visual Studio auto-build.
|
2017-09-16 06:32:38 -05:00
|
|
|
environment:
|
2020-05-10 16:49:10 -05:00
|
|
|
global:
|
|
|
|
PROJECT_NAME: miri
|
|
|
|
matrix:
|
|
|
|
- TARGET: i686-pc-windows-msvc
|
|
|
|
matrix:
|
|
|
|
fast_finish: true # Immediately finish build once one of the jobs fails.
|
|
|
|
cache:
|
|
|
|
- '%USERPROFILE%\.cargo'
|
|
|
|
- '%USERPROFILE%\.rustup'
|
2017-09-16 06:32:38 -05:00
|
|
|
|
2017-09-17 15:02:30 -05:00
|
|
|
# branches to build
|
|
|
|
branches:
|
|
|
|
# whitelist
|
|
|
|
only:
|
2020-05-10 16:49:10 -05:00
|
|
|
- auto
|
|
|
|
- try
|
2019-04-04 04:38:49 -05:00
|
|
|
|
2017-09-16 06:32:38 -05:00
|
|
|
install:
|
2020-05-10 16:49:10 -05:00
|
|
|
# Compute the Rust version we use.
|
|
|
|
- set /p RUSTC_HASH=<rust-version
|
|
|
|
# Install Rust. We use the "stable" toolchain for better caching, it is just used to build `rustup-toolchain-install-master`.
|
|
|
|
# But we also need to take into account that the build cache might have a different, outdated default.
|
|
|
|
- curl -sSf --retry 3 -o rustup-init.exe https://win.rustup.rs/
|
|
|
|
- rustup-init.exe -y --default-host %TARGET% --default-toolchain none --profile minimal
|
|
|
|
- set PATH=%USERPROFILE%\.cargo\bin;%PATH%
|
|
|
|
- rustup default stable
|
|
|
|
- rustup toolchain uninstall beta nightly
|
|
|
|
- rustup update
|
|
|
|
# Install "master" toolchain.
|
|
|
|
- cargo install rustup-toolchain-install-master
|
2020-05-22 03:29:47 -05:00
|
|
|
- rustup-toolchain-install-master -f -n master %RUSTC_HASH% -c rust-src -c rustc-dev -c llvm-tools
|
2020-05-10 16:49:10 -05:00
|
|
|
- rustup default master
|
|
|
|
- rustc --version
|
|
|
|
- cargo --version
|
2019-04-04 04:38:49 -05:00
|
|
|
|
|
|
|
test_script:
|
2020-05-11 03:40:25 -05:00
|
|
|
- set PYTHON=C:\msys64\mingw64\bin\python3.exe
|
2020-05-10 16:49:10 -05:00
|
|
|
- bash ci.sh
|
2017-09-16 06:32:38 -05:00
|
|
|
|
2019-04-04 04:38:49 -05:00
|
|
|
after_test:
|
2020-05-10 16:49:10 -05:00
|
|
|
# Don't cache "master" toolchain, it's a waste.
|
|
|
|
- rustup default stable
|
|
|
|
- rustup toolchain uninstall master
|
2019-04-04 04:38:49 -05:00
|
|
|
|
2017-09-16 06:32:38 -05:00
|
|
|
notifications:
|
2020-05-10 16:49:10 -05:00
|
|
|
- provider: Email
|
|
|
|
on_build_success: false
|