Merge pull request #621 from tweag/mp/remove_nixpkgs_cc_configure_dep… #1922
| Job | Run time |
|---|---|
| 8m 40s | |
| 18m 12s | |
| 7m 15s | |
| 5m 13s | |
| 8m 24s | |
| 5m 48s | |
| 17m 35s | |
| 14m 21s | |
| 23s | |
| 1h 25m 51s |
| Job | Run time |
|---|---|
| 8m 40s | |
| 18m 12s | |
| 7m 15s | |
| 5m 13s | |
| 8m 24s | |
| 5m 48s | |
| 17m 35s | |
| 14m 21s | |
| 23s | |
| 1h 25m 51s |