improve jenkins #11

Merged

bquarkz merged 2 commits from dev/improve-jenkins into master

2026-04-08 08:24:16 +00:00

Author	SHA1	Message	Date
bQUARKz	a4b0006745	improve jenkins All checks were successful Intrepid/Prometeu/Runtime/pipeline/pr-master This commit looks good Details Intrepid/Prometeu/Runtime/pipeline/head This commit looks good Details	2026-04-08 09:13:46 +01:00
bQUARKz	1769f56bcb	improve jenkins All checks were successful Intrepid/Prometeu/Runtime/pipeline/pr-master This commit looks good Details	2026-04-08 08:56:27 +01:00