timeout option ignored in pipeline

[Sébastien Hinderer]

Dear all,

I just added a timeout option to a pipeline:

pipeline {
agent { label 'foo' }
options {
timeout(time: 1, unit: 'HOURS')
}
stages { ... }
post { ... }
}

The timeout is not taken into account. The job is running for several
hours now and blocked whereas I was expecting it to be aborted due to
the timeout.

Am I doing something wrong?

thanks,

Sébastien.