]> git.lizzy.rs Git - rust.git/commit
projects / rust.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 37d7de3) | patch
Adjust miri to still be optional
authorMark Rousskov <mark.simulacrum@gmail.com>
Tue, 1 Nov 2022 00:52:55 +0000 (20:52 -0400)
committerLukas Markeffsky <@>
Mon, 12 Dec 2022 23:01:20 +0000 (00:01 +0100)
commit4ac81902870aa1e37728fe7e1b0e7204ac718436
tree9686057d61d277091a88d647b1d7598b72877f5dtree | snapshot
parent37d7de337903a558dbeb1e82c844fe915ab8ff25commit | diff
Adjust miri to still be optional

We don't distribute a miri build for beta/stable so it needs to be kept
optional. In the future it likely makes sense to switch the miri
*artifacts* to always be built, but the rustup component to not be
included -- this will avoid some of this pain.
src/bootstrap/dist.rs diff | blob | history
Empowering everyone to build reliable and efficient software.