reset URL via git remote set-url, update boost
#102
| Job | Run time |
|---|---|
| 18m 44s | |
| 16m 27s | |
| 35m 11s |
git remote set-url, update boost
#102
| Job | Run time |
|---|---|
| 18m 44s | |
| 16m 27s | |
| 35m 11s |