Commit e47abfe7 authored by Reinhard Biegel's avatar Reinhard Biegel
Browse files

Merge branch 'main' into 'main'

Add build timeout to avoid long blocking builds

See merge request !74
parents a3a7347c 2f23d7fb
Pipeline #2554 passed with stage
in 0 seconds
......@@ -12,6 +12,7 @@ pipeline {
agent none
options {
timeout(time: 5, unit: 'HOURS')
stages {
stage('Linux and Windows build') {
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment