CI: CI runs for three hours, not one hour
In 11682fb0, the timeout was set to 10 hours. This means that the CI no longer just runs for one hour. However, we are still limited by GitLab's runners which only give us three hours of CI time per job, so given the status quo, this is the most likely duration for someone who hasn't set up their own CI runners.