Skip to content
Snippets Groups Projects

Mark Eigen as dependency

Merged Mark Eigen as dependency
mohr-master-patch-81519 into master
Merged Marcus Mohr requested to merge mohr-master-patch-81519 into master

Since we can no longer built without Eigen, it no longer belongs in the "optional" section

Merge request reports

Merge request pipeline #51594 skipped

Merge request pipeline skipped for 86cba7f8

Checking approval status

Merged by Marcus MohrMarcus Mohr 1 year ago (Mar 22, 2023 3:56pm UTC)

Loading

Pipeline #51595 canceled

Stage:
    Stage:
      Stage:
        Stage:

          Pipeline canceled for 2e3bd859 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