Inria CI: tentative fix for the other-configs job
parent
2a4a951485
commit
8ae80218a9
|
@ -19,7 +19,9 @@
|
||||||
|
|
||||||
pipeline {
|
pipeline {
|
||||||
agent { label 'ocaml-linux-64' }
|
agent { label 'ocaml-linux-64' }
|
||||||
timeout(time: 2, unit: 'MINUTES') {
|
options {
|
||||||
|
timeout(time: 2, unit: 'MINUTES')
|
||||||
|
}
|
||||||
stages {
|
stages {
|
||||||
stage('Testing various other compiler configurations') {
|
stage('Testing various other compiler configurations') {
|
||||||
steps {
|
steps {
|
||||||
|
|
Loading…
Reference in New Issue