CI: Fix missing () in gates.jenkinsfile

Change-Id: I2f252e0f8c7f1a6328438fbd2be5d6574b7dfa5b
13.24
George Joseph 7 years ago
parent 8f6d527349
commit 1311aeecfb

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

Loading…
Cancel
Save