Skip to content
Snippets Groups Projects

Dev

Merged Dev
dev into main
Merged Petar Hristov requested to merge dev into main

Merge request reports

Merge request pipeline #819271 skipped

Stage: commands

Merge request pipeline skipped for 95152102

Approval is optional

Merged by Petar HristovPetar Hristov 2 years ago (Oct 6, 2022 9:51am UTC)

Merge details

  • Changes merged into dev with 3f0d3829.
  • Did not delete the source branch.

Pipeline #819272 passed

Stage: build
Stage: publish
Stage: commands

Pipeline passed for 3f0d3829 on main

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