Skip to content
Snippets Groups Projects

Main

Merged Main
main into devel
Merged Joan Vallvé Navarro requested to merge main into devel

Merge request reports

Pipeline #12267 passed

Stage: license
    Stage: build_and_test

      Pipeline passed for 103bb4fd on main

      Approved by
      Joan Vallvé Navarro

      Merged by Joan Vallvé NavarroJoan Vallvé Navarro 2 years ago (Jul 25, 2022 12:25pm UTC)

      Merge details

      • Changes merged into devel with 472e71f5.
      • Did not delete the source branch.
      • Auto-merge enabled

      Pipeline #12269 failed

      Stage: license
        Stage: build_and_test

          Pipeline failed for 472e71f5 on devel

          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