Skip to content
Snippets Groups Projects

Dev into main

Merged Dev into main
dev into main
Merged Mayr, Hannes requested to merge dev into main

Merge the oop implementation of publish and documentation improvements into main.

Merge request reports

Pipeline #768773 passed

Stage: linting
Stage: testing

Pipeline passed for ed0e2fea on dev

Approval is optional

Merged by Mayr, HannesMayr, Hannes 2 years ago (Jul 27, 2022 7:36am UTC)

Merge details

  • Changes merged into main with a9dbe731.
  • Did not delete the source branch.

Pipeline #768793 passed

Stage: linting
Stage: testing

Pipeline passed for a9dbe731 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