summaryrefslogtreecommitdiffstats
path: root/.travis.yml
diff options
context:
space:
mode:
authorbors <bors@rust-lang.org>2017-12-14 15:37:39 +0000
committerbors <bors@rust-lang.org>2017-12-14 15:37:39 +0000
commit2974104276265858d74733d7ebcca1d3347fd34e (patch)
tree3095c0f81251260b751ccc6c6fe855ba116339a4 /.travis.yml
parentAuto merge of #46335 - oli-obk:cleanups, r=jseyfried (diff)
parentDo not produce debuginfo for tools (diff)
downloadgrust-2974104276265858d74733d7ebcca1d3347fd34e.tar.gz
grust-2974104276265858d74733d7ebcca1d3347fd34e.tar.bz2
grust-2974104276265858d74733d7ebcca1d3347fd34e.tar.xz
Auto merge of #45002 - oli-obk:miri, r=eddyb
Validate miri against the HIR const evaluator r? @eddyb cc @alexcrichton @arielb1 @RalfJung The interesting parts are the last few functions in `librustc_const_eval/eval.rs` * We warn if miri produces an error while HIR const eval does not. * We warn if miri produces a value that does not match the value produced by HIR const eval * if miri succeeds and HIR const eval fails, nothing is emitted, but we still return the HIR error * if both error, nothing is emitted and the HIR const eval error is returned So there are no actual changes, except that miri is forced to produce the same values as the old const eval. * This does **not** touch the const evaluator in trans at all. That will come in a future PR. * This does **not** cause any code to compile that didn't compile before. That will also come in the future It would be great if someone could start a crater run if travis passes
Diffstat (limited to '.travis.yml')
-rw-r--r--.travis.yml1
1 files changed, 1 insertions, 0 deletions
diff --git a/.travis.yml b/.travis.yml
index c0a18ca552..d0f1dbcfd3 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -294,6 +294,7 @@ before_deploy:
294 cp -r obj/build/dist/* deploy/$TRAVIS_COMMIT; 294 cp -r obj/build/dist/* deploy/$TRAVIS_COMMIT;
295 fi 295 fi
296 - travis_retry gem update --system 296 - travis_retry gem update --system
297 - ls -la deploy/$TRAVIS_COMMIT
297 298
298deploy: 299deploy:
299 - provider: s3 300 - provider: s3