Update Jenkinsfile #116

Merged

romanjaros merged 1 commit from romanjaros-patch-1 into master 2023-12-08 09:23:16 +01:00

Conversation 0 Commits 1 Files changed 1 +1 -1

1 commit

Author	SHA1	Message	Date
Roman Jaroš	1588b0a821	Update Jenkinsfile	2023-12-08 09:16:46 +01:00