Skip to content
Snippets Groups Projects

Merge dev into master branch

Merged Merge dev into master branch
dev into master
Merged Moul requested to merge dev into master

Merge request reports

Merge request pipeline #9795 passed

Stage: format
Stage: test
Stage: build

Merge request pipeline passed for 5807c6a3

Approval is optional

Merged by MoulMoul 4 years ago (Sep 26, 2020 12:54pm UTC)

Merge details

  • Changes merged into master with 5807c6a3.
  • Deleted the source branch.
  • Auto-merge enabled

Pipeline #9796 passed

Stage: format
Stage: test
Stage: build
Stage: release
Stage: publish_doc
Stage: deploy

Pipeline passed for 5807c6a3 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