Update Jenkinsfile

This commit is contained in:
2023-08-23 16:44:58 -05:00
committed by GitHub
parent d013cfde88
commit 79705ff262
Vendored
+1
View File
@@ -1,4 +1,5 @@
pipeline { pipeline {
options { skipDefaultCheckout() }
agent any agent any
environment { environment {
GITHUB_BRANCH = "${BRANCH_NAME}" GITHUB_BRANCH = "${BRANCH_NAME}"