Our ARM infrastructure is unreachable at the moment, so CI jobs will time-out and packages will not be updated until the servers are back.
In collaboration with @pabloyoyoista. gnome-clocks needs !32638 (merged).
