Merged requested to merge jenkins-timeout into master
The idea of this MR is, to prevent long-running jobs because they are stuck. Using the option in the Jenkinsfile has the opportunity to reconfigure this for jobs that might run a long time on purpose.
My proposed timeout for a Job is 30 minutes.
Related to https://gitlab.gistools.geog.uni-heidelberg.de/giscience/big-data/ohsome/apps/ohsome-quality-analyst/-/merge_requests/131
More information see https://www.jenkins.io/doc/book/pipeline/syntax/#options-example