From 8aafb3422ba1af515c75120a8d6d00d9e90a8d2a Mon Sep 17 00:00:00 2001 From: davidhei2023 Date: Mon, 15 Jul 2024 18:43:30 +0300 Subject: [PATCH] Jenkins 'general' label added #3 --- pipelines/build.Jenkinsfile | 1 + 1 file changed, 1 insertion(+) diff --git a/pipelines/build.Jenkinsfile b/pipelines/build.Jenkinsfile index 32a92e6..677b01d 100644 --- a/pipelines/build.Jenkinsfile +++ b/pipelines/build.Jenkinsfile @@ -5,6 +5,7 @@ pipeline { label 'general' } + triggers { githubPush() }