Skip to content
Snippets Groups Projects

WIP: adaption to typetree from dune-common

Open Simon Praetorius requested to merge feature/common_typetree into master

The MR is used in combination with core/dune-common!771 (closed) to test the new typetree implementation in dune-common

Merge request reports

Pipeline #24850 failed

Pipeline failed for fc3c7bb2 on feature/common_typetree

Approval is optional
Merge blocked: 1 check failed

Merge details

  • The source branch is 596 commits behind the target branch.
  • 2 commits and 1 merge commit will be added to master.
  • Source branch will not be deleted.

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
Loading