From 9147a91cc0c51f176235a500735f1e8edfc5683b Mon Sep 17 00:00:00 2001 From: Gary Talent Date: Tue, 22 Oct 2019 23:56:05 -0500 Subject: [PATCH] [nostalgia] Add agent to Jenkinsfile --- Jenkinsfile | 1 + 1 file changed, 1 insertion(+) diff --git a/Jenkinsfile b/Jenkinsfile index 8d3f8dec..225e4ef1 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -1,4 +1,5 @@ pipeline { + agent any stages { stage('Build') { steps {