add Jenkinsfile

This commit is contained in:
2025-03-05 15:52:54 +01:00
parent da67cbd46e
commit f682150557
4 changed files with 3 additions and 14 deletions