Skip to content

Conversation

@sebastian-peter
Copy link
Member

Resolves #1315

@sebastian-peter sebastian-peter self-assigned this May 8, 2025
@sebastian-peter sebastian-peter added the ci Related to continuous integration label May 8, 2025
@sebastian-peter sebastian-peter merged commit 4d5635a into dev May 8, 2025
3 checks passed
@sebastian-peter sebastian-peter deleted the sp/#1315-remove-jenkinsfile branch May 8, 2025 12:08
@sebastian-peter sebastian-peter added this to the Version 7.0 milestone May 8, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

ci Related to continuous integration

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Remove Jenkins pipeline

2 participants