Ekdohibs
/
ocaml
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Inria CI: give the other-configs job a more realistic timeout 

Now that it could be verified that the timeout works (the job was
rightfully aborted by Jenkins after 2 minutes), set its timeout to a more
realistic value, namely 45 minutes.
master
Sébastien Hinderer 2020-11-24 17:53:55 +01:00
parent c4e77cd91d
commit a93a564301
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
tools/ci/inria/other-configs/Jenkinsfile vendored
View File

@ -20,7 +20,7 @@
pipeline {
agent { label 'ocaml-linux-64' }
options {
timeout(time: 2, unit: 'MINUTES')
timeout(time: 45, unit: 'MINUTES')
}
stages {
stage('Testing various other compiler configurations') {