Nicolas Arenas 0769bb7e35 Include Jenkinsfile into main branch (#11) ... Reviewed-on: #11 refs #1714		2025-03-18 10:58:25 +01:00
..
Jenkinsfile-deb-pkg	Include Jenkinsfile into main branch (#11)	2025-03-18 10:58:25 +01:00