Merge pull request #1095 from informalsystems/ph/add-map-remove-all #2487
| Job | Run time |
|---|---|
| 1m 48s | |
| 42s | |
| 5m 16s | |
| 7m 5s | |
| 7m 27s | |
| 10m 12s | |
| 7m 12s | |
| 1m 5s | |
| 1m 11s | |
| 2m 38s | |
| 1m 27s | |
| 3m 12s | |
| 5m 13s | |
| 4m 49s | |
| 35s | |
| 59m 52s |
| Job | Run time |
|---|---|
| 1m 48s | |
| 42s | |
| 5m 16s | |
| 7m 5s | |
| 7m 27s | |
| 10m 12s | |
| 7m 12s | |
| 1m 5s | |
| 1m 11s | |
| 2m 38s | |
| 1m 27s | |
| 3m 12s | |
| 5m 13s | |
| 4m 49s | |
| 35s | |
| 59m 52s |