For the record: After I pushed the commits, the current pipeline will probably fail because of timeout.
(The change for this upload was trivial and did not want to wait for it to finish). I'm going to set the timeout at 2h in the web interface of salsa for the next time. (After that we could also drop the most time consuming jobs, like debrebuild, if it becomes necessary). Thanks.
