diff --git a/Jenkinsfile b/Jenkinsfile index 1c97cf8b..db3bbd6a 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -67,6 +67,9 @@ node { case "v3": examplesBranch = "v3" break + case "v3-enhance-forms": + examplesBranch = "v3-enhance-forms" + break } echo "Pulling unidoc-examples on branch ${examplesBranch}" git url: 'https://github.com/unidoc/unidoc-examples.git', branch: examplesBranch