Merge pull request #2 from SourceMation/devel

jmmaro · web-flow · commit 0a31e2452383 · 2024-08-06T14:30:48.000+02:00
add a delay before push
diff --git a/Jenkinsfile b/Jenkinsfile
@@ -181,6 +181,7 @@ pipeline {
                         GH_BRANCH="main"
                     }
                     steps {
+                        sleep(time: 10, unit: "SECONDS")
                         script {
                             echo "Pushing ${IMAGE}-${PROVIDER} to GitHub"
                             sh "cd auto_virtual_machines/; bash -x ./cicd.sh $PROFILE 3"

Original file line number	Diff line number	Diff line change
`@@ -181,6 +181,7 @@ pipeline {`
`181`	`181`	`GH_BRANCH="main"`
`182`	`182`	`}`
`183`	`183`	`steps {`
	`184`	`+ sleep(time: 10, unit: "SECONDS")`
`184`	`185`	`script {`
`185`	`186`	`echo "Pushing ${IMAGE}-${PROVIDER} to GitHub"`
`186`	`187`	`sh "cd auto_virtual_machines/; bash -x ./cicd.sh $PROFILE 3"`