Merge pull request #30 from cmsc430/fix-provides #86
Job | Run time |
---|---|
11m 53s | |
6m 55s | |
5m 24s | |
7m 48s | |
7m 40s | |
6m 7s | |
11m 43s | |
6m 46s | |
5m 14s | |
7m 2s | |
7m 22s | |
7m 4s | |
1h 30m 58s |
Job | Run time |
---|---|
11m 53s | |
6m 55s | |
5m 24s | |
7m 48s | |
7m 40s | |
6m 7s | |
11m 43s | |
6m 46s | |
5m 14s | |
7m 2s | |
7m 22s | |
7m 4s | |
1h 30m 58s |