Skip to content
Snippets Groups Projects

Remove argument from cmake command finalize_dune_project

Merged Remove argument from cmake command finalize_dune_project
feature/update-finalize-dune-project into master
Merged Simon Praetorius requested to merge feature/update-finalize-dune-project into master

The argument to finalize_dune_project is not needed any more. This MR removes it and thus removes also the corresponding warning message.

Merge request reports

Merge request pipeline #66935 passed with warnings

Stage: .pre
Stage: test
Stage: downstream
Pipeline: Dune Nightly Test

#66939

    Merge request pipeline passed with warnings for e5a5e961

    Approval is optional

    Merged by Simon PraetoriusSimon Praetorius 1 year ago (Dec 21, 2023 6:04pm UTC)

    Merge details

    • Changes merged into with 140e6aa1.
    • Deleted the source branch.
    • Auto-merge enabled

    Pipeline #67007 passed with warnings

    Stage: .pre
    Stage: test
    Stage: downstream
    Pipeline: Dune Nightly Test

    #67008

      Pipeline passed with warnings for 140e6aa1 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