ci: Add Jenkins build pipeline

2025-06-01 19:47:36 -05:00 · 2025-06-01 19:47:36 -05:00 · 9e088c8419
parent 32de3f0fee
commit 9e088c8419
1 changed files with 2 additions and 0 deletions
--- a/ci/Jenkinsfile
+++ b/ci/Jenkinsfile
@ -0,0 +1,2 @@
+@Library('containerimages')_
+buildContainerImage2(defaultBranch: 'master')