CI: Fix missing () in gates.jenkinsfile

Change-Id: I2f252e0f8c7f1a6328438fbd2be5d6574b7dfa5b
This commit is contained in:
George Joseph 2018-10-04 12:03:05 -06:00
parent 1598c7a306
commit 6fd21a6af6
1 changed files with 1 additions and 1 deletions

View File

@ -12,7 +12,7 @@
*/
pipeline {
options {
timestamps
timestamps()
timeout(time: 60, unit: 'MINUTES')
}
triggers {