Ralf Jung
65541d9021
rustup update
2019-08-15 22:30:38 +02:00
Ralf Jung
5aa60571fc
travis: do not install cargo from master
2019-08-15 22:25:50 +02:00
Ralf Jung
2b1eeb3928
also run tests for cron jobs
2019-06-22 11:13:35 +02:00
Ralf Jung
ab473bcda5
fix Travis bors branch names
2019-06-21 21:02:30 +02:00
Ralf Jung
1a784ea21b
Travis: also run on bors branches, and not on master
2019-06-21 20:54:07 +02:00
Ralf Jung
aa888c5593
remove redundant RUSTFLAGS
2019-05-27 15:24:37 +02:00
Ralf Jung
78e11058d3
CI: build with debug assertions
2019-04-18 14:58:30 +02:00
Ralf Jung
081837eff0
fix Travis and adjust AppVeyor
2019-04-04 14:15:02 +01:00
Ralf Jung
bebb5bfa38
use rustup-toolchain-install-master for CI
2019-04-04 10:19:18 +01:00
Oliver Scherer
35809441cd
Try out more email notifications
2019-01-30 14:09:37 +01:00
Ralf Jung
133e012cec
sync env vars between appveyor and travis
2018-12-19 11:06:35 +01:00
Ralf Jung
74e9ed998b
move travis commands to script file, maybe that fixes the macOS weirdness
2018-12-12 19:38:11 +01:00
Ralf Jung
8ec371747a
do not auto-detect the targets in the sysroot, instead specify target manually through env var
2018-12-12 11:03:42 +01:00
Ralf Jung
b50662d68c
fix CI
2018-12-10 12:21:39 +01:00
Ralf Jung
f044205b5f
the test suite assumes a libstd with full MIR; run test suite on xargo-built foreign libstds
2018-12-10 10:04:55 +01:00
Ralf Jung
fbd7d119ae
use new dir for CI and docs
2018-11-27 13:12:55 +01:00
Ralf Jung
16ac7ec1b1
tweak comments, remove debug output
2018-11-27 08:16:58 +01:00
Ralf Jung
bb47df94dd
use cargo miri setup for CI
2018-11-27 08:16:58 +01:00
Matthias Krüger
3102b13468
travis: build benchmarks as well
2018-11-17 14:25:48 +01:00
Ralf Jung
8fe51ca669
try to find python3 on macOS
2018-10-30 15:07:40 +01:00
Ralf Jung
f6b1f9e487
rewrite cargo-miri test in Python
2018-10-30 11:26:53 +01:00
Ralf Jung
9c9552260c
test cargo-miri without validation, and fix how we invoke it so we see output in case of failure
2018-10-30 10:40:28 +01:00
Andrew Poelstra
abda1a8ebb
rename rust-toolchain to rust-version; add note to README about usage
2018-10-23 15:22:14 +00:00
Ralf Jung
0b6e349417
automalically use start-fn if we have all the MIR
2018-10-19 10:07:17 +02:00
Ralf Jung
88ec62640e
make rustc-tests a binary in the main project
2018-10-14 11:48:15 +02:00
Ralf Jung
aa30540ce7
update CI: Avoid downloading Rust twice
2018-10-01 12:32:22 +02:00
Ralf Jung
eaff451d5e
move 'cargo miri' test down so it is not the first thing testing start-fn
2018-10-01 08:27:03 +02:00
Ralf Jung
7c73df9985
avoid recompiling miri for 2nd test run; avoid unreadable output due to backtraces
...
also some travis config cleanup
2018-08-14 18:53:46 +02:00
Ralf Jung
034bb25f54
fix 'cargo miri test' for full MIR, and run it on CI
2018-08-14 09:41:04 +02:00
Ralf Jung
1ec8728325
document and fully use rust-toolchain file
2018-08-14 00:58:43 +02:00
Ralf Jung
e2c1b70086
nicer diff formating
2018-07-26 18:15:51 +02:00
Ralf Jung
ae830f6115
dont test cargo miri output on mac. no idea what that system is doing.
2018-07-26 17:41:45 +02:00
Ralf Jung
5bd02b7c07
also show the output (though we lost the interleaving)
2018-07-26 17:08:29 +02:00
Ralf Jung
851f2ab98e
test cargo miri output
2018-07-26 16:43:51 +02:00
bjorn3
c8ff634f82
Enable backtraces for tests
2018-06-03 13:08:51 +02:00
Oliver Schneider
20c2e0bede
Test miri on mac os
2018-05-11 11:29:18 +02:00
Oliver Schneider
9068a2a4b3
cargo cache was messing up xargo/miri install
2018-05-09 15:14:16 +02:00
Oliver Schneider
a4fdcd29b5
Disable cargo miri test for now
2018-05-09 13:43:31 +02:00
bjorn3
ac42af3789
travis: cache build dir
2018-04-13 16:04:57 +02:00
Oliver Schneider
fc587ac6ae
Without a Cargo.lock it makes no sense to use --locked
2017-12-15 09:32:10 +01:00
Oliver Schneider
7ec04cb676
cargo install only takes --debug, not --release
2017-09-14 10:34:07 +02:00
Ralf Jung
24e45de953
travis: more consistent cargo flags (--locked, --release)
2017-09-14 10:04:28 +02:00
Ralf Jung
a5fa8e90d0
only test on master
2017-09-09 11:28:24 +02:00
Ralf Jung
2ee999b2ca
use latest xargo; this fixes the libstd build problem
2017-09-06 10:15:28 +02:00
Ralf Jung
41be917e01
make sure the lock file is not changed when building on CI
2017-09-04 12:42:07 +02:00
Ralf Jung
1f20b7d774
travis: fail fast
2017-08-18 11:42:00 +02:00
Ralf Jung
de80bcbdbf
some tests for RangeMap
2017-08-09 15:49:47 -07:00
Oliver Schneider
7e6c497539
Make cargo_miri a feature
...
1. Speeds up the common compilation path (no serde in the dependency tree)
2. Stage 1 rustc is enough (no serde -> no custom derive)
2017-08-09 16:12:27 +02:00
Oliver Schneider
7e585ef147
Speed up travis by using release mode
...
before we built in debug mode for testing,
but then installed miri, which builds in release mode.
So we built in release mode anyway but tested slowly in debug mode
2017-08-02 17:57:55 +02:00
Oliver Schneider
f19d77e0f1
Build the rustc_tests binary on travis
2017-08-01 16:44:49 +02:00
