Skip to content
GitLab
Projects Groups Snippets
  • /
  • Help
    • Help
    • Support
    • Community forum
    • Submit feedback
    • Contribute to GitLab
  • Register
  • Sign in
  • dumux dumux
  • Project information
    • Project information
    • Activity
    • Labels
    • Members
  • Repository
    • Repository
    • Files
    • Commits
    • Branches
    • Tags
    • Contributors
    • Graph
    • Compare
  • Issues 100
    • Issues 100
    • List
    • Boards
    • Service Desk
    • Milestones
  • Merge requests 87
    • Merge requests 87
  • CI/CD
    • CI/CD
    • Pipelines
    • Jobs
    • Schedules
  • Deployments
    • Deployments
    • Environments
    • Releases
  • Packages and registries
    • Packages and registries
    • Container Registry
  • Monitor
    • Monitor
    • Incidents
  • Analytics
    • Analytics
    • Value stream
    • CI/CD
    • Repository
  • Wiki
    • Wiki
  • Activity
  • Graph
  • Create a new issue
  • Jobs
  • Commits
  • Issue Boards
Collapse sidebar
  • dumux-repositoriesdumux-repositories
  • dumuxdumux
  • Merge requests
  • !3373

Merge branch 'fix/separate-development-dependencies' into 'master'

  • Review changes

  • Download
  • Email patches
  • Plain diff
Merged Mathis Kelm requested to merge cherry-pick-e07e3e42 into releases/3.6 Feb 06, 2023
  • Overview 0
  • Commits 1
  • Pipelines 1
  • Changes 3

What this MR does / why does DuMux need it:

Backport !3371 (merged) to latest release 3.6 to fix CI errors caused by updated dependency.

Edited Feb 06, 2023 by Timo Koch
Assignee
Assign to
Reviewers
Request review from
Time tracking
Source branch: cherry-pick-e07e3e42