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