Skip to content

Update Jenkinsfile_branches#245

Merged
rerpha merged 1 commit intomasterfrom
Tom-Willemsen-patch-1
Jul 3, 2025
Merged

Update Jenkinsfile_branches#245
rerpha merged 1 commit intomasterfrom
Tom-Willemsen-patch-1

Conversation

@Tom-Willemsen
Copy link
Member

@Tom-Willemsen Tom-Willemsen commented Jun 26, 2025

@rerpha rerpha merged commit 2dd89e0 into master Jul 3, 2025
5 checks passed
@rerpha rerpha deleted the Tom-Willemsen-patch-1 branch July 3, 2025 14:07
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.

2 participants