From e054ffac5e3054011e7b02b6d982c580128b6009 Mon Sep 17 00:00:00 2001 From: Steffen Nitschke Date: Sun, 3 Jan 2021 22:44:47 +0100 Subject: [PATCH] adjust Jenkinsfile --- Jenkinsfile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Jenkinsfile b/Jenkinsfile index cc2516e..56cb9a1 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -1,4 +1,4 @@ -#!groovy +#!/usr/bin/env groovy pipeline { agent any