Upgrade pip when doing CI (#6234)

Commit

5 years ago

Upgrade pip when doing CI (#6234) * Upgrade pip when doing CI * Don't forget Github CI