tree b9d89dc0174f00106b9da239fc97a1d06dd28498
parent 66829d659742d90246b4c0dfa27e1b4427da6bbe
author Pietro Albini <pietro.albini@ferrous-systems.com> 1673373652 +0100
committer Pietro Albini <pietro.albini@ferrous-systems.com> 1673373652 +0100
gpgsig -----BEGIN PGP SIGNATURE-----
 
 iQIzBAABCgAdFiEEMycKYjxLY0eb13b7zXazX3c0dp4FAmO9p+QACgkQzXazX3c0
 dp52YBAAis+NWlbW0JIrQ1szQXG6mj0OJTB26SLZ3qgcjLv7JsJ7akr3fNQfvtzi
 YiZSllOIRbGry62WO6dUrfVIFqUzzjYpAk5MNBqIo0psJofUx9EFstIPz7MplrSE
 sI2S0cy8WhZmV1AWPIHmHsni6OfEMTxrRzXkQNIIGjxk9ZnTtxothIvNigQN23LU
 OoNam0gJdzncZN+ssZMR/SH5G3JIDMJIx37WTFQaoCXh12z+/dlX9KiIjF8vrQ63
 yy1Z4HTlzd9Z7I5506A6+E/M0uTH3eXFsdec5y5+I1ZQeLnLc2IDwvbQzWs9piVf
 o9JIBudzBiz9SbrLUqDrxGV9C9fHidT/5bs48uxtrPv/qdu8dp9FegNkC7q8qe4j
 TkCzINraxUjarGe8uUJ0lLoWOFD60hiCO1FqnOMalzY22z5okobYe/WsYnefUitD
 i1wATJNMwYhmXFrZ0ZWV1GBUBwrhktrwwg9kXKZ2Jmwiy7ttYj4ZFTEyOoJurBTO
 y+vXitzwmLrToHhjiH1HMaw+nH05uIap1KLHxWCS44tTPdzUDmV9Q8JdOrAGas9V
 yJysHuAHTcvC0D03XR+b3CajwiVPKLbzD7R8kSw6NSfounEaRD+PkWy1MP0PPv7p
 8XlomAW3M3ANPsXpcwNqLTWOnybg7yjxERC3vlnYkDe9aWev2P0=
 =HZ9t
 -----END PGP SIGNATURE-----

disable failing test

Miri is not shipped on stable, so we don't care whether it builds or
not.