Merge pull request #28 from cmsc430/fix-provides #82
Job | Run time |
---|---|
11m 54s | |
6m 48s | |
5m 5s | |
7m 50s | |
7m 22s | |
5m 48s | |
12m 7s | |
6m 43s | |
5m 5s | |
7m 7s | |
7m 17s | |
6m 12s | |
1h 29m 18s |
Job | Run time |
---|---|
11m 54s | |
6m 48s | |
5m 5s | |
7m 50s | |
7m 22s | |
5m 48s | |
12m 7s | |
6m 43s | |
5m 5s | |
7m 7s | |
7m 17s | |
6m 12s | |
1h 29m 18s |