tree 6f06425e2b426dfc0691abb1c81a3441468af2ff
parent d6f2205ed8460da20f21e959e019d2bc6817cb5a
parent 388cd5d88eb6cbb9a2440d0a05fa0ea7d0b24dd3
author Tyler Mandry <tmandry@gmail.com> 1568754651 -0700
committer GitHub <noreply@github.com> 1568754651 -0700
gpgsig -----BEGIN PGP SIGNATURE-----
 
 wsBcBAABCAAQBQJdgUvbCRBK7hj4Ov3rIwAAdHIIAFMsn/9aS7kP0jmaBa9rZkcg
 Yk5lx0IWKnNo/GO8GTWbJTlMp2jB+HG8hzpkcutgVFuSZK7HfdKD2pk8rFlL1Il7
 ROcQbw65/hydtkDaU052xcm92J+/9JLE9bgQQCdr2RXFuLRLxXVdpjInzFBGbpkY
 e2LjACMZvt7luKeZAjJ2Pkzz2IPAOp/w2V98fLZ4FYS2uk+r95XMahYER0xUACAG
 LJjUzzite2/NjKSpqEe2X7j81lo3Sp4h1Llqe8FOWiOVs8/jYDQBm7jf5e6+rRBN
 nOpRgG5V6fNeoA/iei+xxqJ4YTyAKDekmsQqBmspXskTkyjifmc9qWHDIApd6hw=
 =SwA9
 -----END PGP SIGNATURE-----
 

Rollup merge of #64502 - RalfJung:miri-toolstate, r=pietroalbini

avoid duplicate issues for Miri build failures

Currently, when Miri regressed from test-pass to test-fail, we pen an issue -- and then when it regresses further from test-fail to build-fail, we open a *second* issue.

This changes the logic to avoid the redundant second issue for Miri.

r? @pietroalbini @kennytm