Tomorrow the OS of the servers hosting the Jenkins services will be upgraded.

This will result in service downtime during the whole day; we are sorry for the convenience.

The maintenance is planned tomorrow, Tuesday 18.

Everything should come back to normal at the end of the day.