ci: add jenkins pipeline
All checks were successful
Cadoles/mktools/pipeline/pr-master This commit looks good
#1 by wpetit was merged 2023-08-23 22:57:23 +02:00