From 776c187afc1b3a5696d57cca2843ab9cad6a6d32 Mon Sep 17 00:00:00 2001 From: Arne Naegel Date: Thu, 11 Jul 2024 10:02:39 +0200 Subject: [PATCH] Update jenkins-trigger2.yml --- .github/workflows/jenkins-trigger2.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/jenkins-trigger2.yml b/.github/workflows/jenkins-trigger2.yml index fdf01ea0c..61ad72d33 100644 --- a/.github/workflows/jenkins-trigger2.yml +++ b/.github/workflows/jenkins-trigger2.yml @@ -16,6 +16,6 @@ jobs: jenkins-job: "ug-build-pipeline" # The name of the jenkins job to run jenkins-username: ${{ secrets.JENKINS_USER }} # user name for accessing jenkins jenkins-pat: ${{ secrets.JENKINS_TOKEN }} # personal Access token for accessing Jenkins - poll-time: 10 # how often (seconds) to poll the jenkins server for results + poll-time: 90 # how often (seconds) to poll the jenkins server for results timeout-value: 3600 # How long (seconds) to poll before timing out the action verbose: true # true/false - turns on extra logging