Skip to content
Snippets Groups Projects

Automatic update - auto-update_2020-07-30_14-45

Merged Automatic update - auto-update_2020-07-30_14-45
auto-update_2020-07-30_14-45 into master
Merged CI-bot requested to merge auto-update_2020-07-30_14-45 into master

Merge request reports

Approval is optional

Merged by CI-botCI-bot 4 years ago (Jul 30, 2020 2:46pm UTC)

Merge details

  • Changes merged into master with c01a9b1f.
  • Deleted the source branch.

Pipeline #53306 passed

Stage: build

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

    This GitLab is a part of renkulab.io