ci: add jenkins pipeline

This commit is contained in:
2023-08-23 11:54:18 -06:00
parent d28cc3a672
commit 3a76185c3c
6 changed files with 63 additions and 1 deletions

1
.gitignore vendored Normal file
View File

@ -0,0 +1 @@
tools/