title: How to make build timeout in jenkins pipeline groovy script?
body: <p>I saw declarative timeout example, e.g.</p>
  <pre><code>options{
    timeout(100)
  }
  </code></pre>
  <p>but it cannot work in my groovy file for jenkins pipeline. Also, I cannot find more documentation about this API on jenkins site.</p>