Skip to content
Snippets Groups Projects

Update master

Closed Update master
develop into master
Closed Alexander Jaust requested to merge develop into master

This MR updates the master to the current state of develop. The main goal is to fix issues in the CI that appeared after moving to the new VM. These issues are caused by changing the name of the use Docker images.

Replaced by !33 (merged)

Edited by Alexander Jaust

Merge request reports

Pipeline #13670 passed with warnings

Stage: check
    Stage: build
      Stage: test

        Pipeline passed with warnings for dedce7f0 on develop

        Closed by Alexander JaustAlexander Jaust 3 years ago (Feb 21, 2022 7:57am UTC)

        Loading

        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