diff --git a/Jenkinsfile b/Jenkinsfile index 72bf19a39b908cbac91397d1687431e5d58521d0..4ab4c4f090ced23ce8fb690a805887962ba1a9b7 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -2,6 +2,8 @@ def builders = [:] def helper = new ogs.helper() +timestamps { + builders['gcc'] = { node('docker') { dir('ogs') { checkout scm } @@ -57,3 +59,5 @@ if (currentBuild.result == "SUCCESS" || currentBuild.result == "UNSTABLE") { } } } + +} // end timestamps