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 0db94c7519
commit 30717bafbf

View File

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