With a pipeline job configured, go to the declarative directive generator. Pick `options` and add `timestamps`. The generated syntax is

options {

    timestamps

}

However, the documentation clearly states (in the example only, though) that the format should be

options {

    timestamps()

}