reset URL via git remote set-url
, update boost
#64
Job | Run time |
---|---|
10s | |
56s | |
48s | |
1m 0s | |
53s | |
3m 47s |
git remote set-url
, update boost
#64
Job | Run time |
---|---|
10s | |
56s | |
48s | |
1m 0s | |
53s | |
3m 47s |