Skip to content
Snippets Groups Projects

cmake fixes

Merged cmake fixes
devel into main
Merged Joan Vallvé Navarro requested to merge devel into main

Merge request reports

Pipeline #12273 passed

Stage: license
    Stage: build_and_test

      Pipeline passed for 3037c0d6 on devel

      Approved by
      Joan Vallvé Navarro

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

      Merge details

      • Changes merged into main with 65a7c9b2.
      • Did not delete the source branch.
      • Auto-merge enabled

      Pipeline #12274 passed

      Stage: license
        Stage: build_and_test

          Pipeline passed for 65a7c9b2 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