From 6fd21a6af6ae68bcff04abf31b6f7fc548f77519 Mon Sep 17 00:00:00 2001 From: George Joseph Date: Thu, 4 Oct 2018 12:03:05 -0600 Subject: [PATCH] CI: Fix missing () in gates.jenkinsfile Change-Id: I2f252e0f8c7f1a6328438fbd2be5d6574b7dfa5b --- tests/CI/gates.jenkinsfile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/tests/CI/gates.jenkinsfile b/tests/CI/gates.jenkinsfile index ad1185cc56..983564760f 100644 --- a/tests/CI/gates.jenkinsfile +++ b/tests/CI/gates.jenkinsfile @@ -12,7 +12,7 @@ */ pipeline { options { - timestamps + timestamps() timeout(time: 60, unit: 'MINUTES') } triggers {