On Tue, Nov 19, 2024 at 4:29 PM Francesco Negri wrote:
> Next Monday, November 25th, at around 13:00 UTC, ToolsDB will be
> upgraded from MariaDB v10.4.29 to MariaDB v10.6.19. [0]
This upgrade is happening today starting at 13:00 UTC (in one hour from now).
--
Francesco Negri (he/him) -- IRC: d
The upgrade is now complete!
It took a bit longer than expected, because of some unforeseen DNS
issues that meant for about 1 hour ToolsDB was not reachable.
I will write a more detailed report in the upgrade task. [0]
[0] T352206
--
Francesco Negri (he/him) -- IRC: dhinus
Site Reliability Eng
