reset URL via git remote set-url
, update boost
#65
Job | Run time |
---|---|
7s | |
1m 7s | |
1m 23s | |
1m 10s | |
1m 17s | |
5m 4s |
git remote set-url
, update boost
#65
Job | Run time |
---|---|
7s | |
1m 7s | |
1m 23s | |
1m 10s | |
1m 17s | |
5m 4s |