diff options
| author | Ralf Jung <post@ralfj.de> | 2024-04-06 18:05:08 +0200 |
|---|---|---|
| committer | Ralf Jung <post@ralfj.de> | 2024-04-07 10:06:06 +0200 |
| commit | d0346c50bc8954503dcaa262c60ba03f0c0a2e33 (patch) | |
| tree | 367636ce691379129c75a7bce2758f90c09286e6 | |
| parent | 24089812db1ae111aa55af0df5543922e942c466 (diff) | |
| download | rust-d0346c50bc8954503dcaa262c60ba03f0c0a2e33.tar.gz rust-d0346c50bc8954503dcaa262c60ba03f0c0a2e33.zip | |
disable debug assertions to speed up the check-aux job
| -rw-r--r-- | src/ci/docker/host-x86_64/x86_64-gnu-aux/Dockerfile | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/ci/docker/host-x86_64/x86_64-gnu-aux/Dockerfile b/src/ci/docker/host-x86_64/x86_64-gnu-aux/Dockerfile index e08c4e1e8b7..a74db2250fc 100644 --- a/src/ci/docker/host-x86_64/x86_64-gnu-aux/Dockerfile +++ b/src/ci/docker/host-x86_64/x86_64-gnu-aux/Dockerfile @@ -25,5 +25,9 @@ RUN apt-get update && apt-get install -y --no-install-recommends \ COPY scripts/sccache.sh /scripts/ RUN sh /scripts/sccache.sh +# Miri is just too slow with full assertions +ENV NO_DEBUG_ASSERTIONS=1 +ENV NO_OVERFLOW_CHECKS=1 + ENV RUST_CONFIGURE_ARGS --build=x86_64-unknown-linux-gnu ENV RUST_CHECK_TARGET check-aux |