this is done.
On Mon, Jul 9, 2018 at 6:48 PM, shane knapp wrote:
> we need to update docker to something more modern (17.05.0-ce ->
> 18.03.1-ce), so i have taken the two ubuntu workers offline and once the
> current builds finish, i will perform the update.
>
> this shouldn't take more than an
we need to update docker to something more modern (17.05.0-ce ->
18.03.1-ce), so i have taken the two ubuntu workers offline and once the
current builds finish, i will perform the update.
this shouldn't take more than an hour.
shane
--
Shane Knapp
UC Berkeley EECS Research / RISELab Staff Technic
