Skip to content

DRY: use standard pipeline - #261

Open
gmosch wants to merge 1 commit into
mainfrom
17-dry-jenkinsfile
Open

DRY: use standard pipeline#261
gmosch wants to merge 1 commit into
mainfrom
17-dry-jenkinsfile

Conversation

@gmosch

@gmosch gmosch commented Aug 8, 2026

Copy link
Copy Markdown

DRY Jenkinsfile: Use the standard pipeline

@gmosch
gmosch requested a review from FelixLange1998 August 8, 2026 10:38
@gmosch gmosch added the jenkins label Aug 8, 2026
@gmosch gmosch linked an issue Aug 8, 2026 that may be closed by this pull request
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Projects

None yet

Development

Successfully merging this pull request may close these issues.

DRY Jenkinsfile

2 participants