Auto merge of #476 - Amanieu:disable_neon_miri, r=Amanieu #622
| Job | Run time |
|---|---|
| 2m 46s | |
| 24s | |
| 6s | |
| 10m 24s | |
| 7m 35s | |
| 8m 5s | |
| 5m 16s | |
| 8m 4s | |
| 4m 41s | |
| 11m 56s | |
| 5m 34s | |
| 9m 24s | |
| 5m 10s | |
| 6m 57s | |
| 2m 5s | |
| 9m 20s | |
| 6m 4s | |
| 5m 22s | |
| 10m 10s | |
| 15m 57s | |
| 14m 3s | |
| 4m 0s | |
| 5m 20s | |
| 2s | |
| 0s | |
| 2h 38m 45s |
| Job | Run time |
|---|---|
| 2m 46s | |
| 24s | |
| 6s | |
| 10m 24s | |
| 7m 35s | |
| 8m 5s | |
| 5m 16s | |
| 8m 4s | |
| 4m 41s | |
| 11m 56s | |
| 5m 34s | |
| 9m 24s | |
| 5m 10s | |
| 6m 57s | |
| 2m 5s | |
| 9m 20s | |
| 6m 4s | |
| 5m 22s | |
| 10m 10s | |
| 15m 57s | |
| 14m 3s | |
| 4m 0s | |
| 5m 20s | |
| 2s | |
| 0s | |
| 2h 38m 45s |