ci: Add Jenkins pipeline

This commit is contained in:
2025-08-20 21:24:25 -05:00
parent 841b64bac2
commit d41ad4c55c
3 changed files with 84 additions and 0 deletions

1
.gitignore vendored Normal file
View File

@@ -0,0 +1 @@
/_build