Skip to content
Snippets Groups Projects

Jenkinsfile

Merged Jan Möbius requested to merge jenkinsfile into master

Introduced jenkinsfile for pipelines

Merge request reports

Pipeline #3115 passed

Pipeline passed for dd3f10e4 on jenkinsfile

Merged by avatar (Jun 1, 2025 5:35pm UTC)

Loading

Pipeline #3118 passed

Pipeline passed for 3dd4ce8d on master

Activity

Filter activity
  • Approvals
  • Assignees & reviewers
  • Comments (from bots)
  • Comments (from users)
  • Commits & branches
  • Edits
  • Labels
  • Lock status
  • Mentions
  • Merge request status
  • Tracking
Please register or sign in to reply
Loading