From d9db91ec9f4dbf3052673babbf153ab13625da92 Mon Sep 17 00:00:00 2001 From: Benjamin Dauvergne Date: Wed, 7 Apr 2021 18:06:11 +0200 Subject: [PATCH] Jenkinsfile: update name of main branch --- Jenkinsfile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Jenkinsfile b/Jenkinsfile index 640c83cc..81e2a086 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -15,7 +15,7 @@ pipeline { } anyOf { tag 'v*' - branch 'master' + branch 'main' } } steps {