Skip to content
Snippets Groups Projects

Private config header file generated info with wrong module

This is mainly an oversight on !1262 (merged), probably leaked in after one of its many refactors. The dune module information was being updated before the public part but not before the private part. This caused private header part to be generated with other module information (e.g. dune-grid would be populated with dune-common variables)

Edited by Santiago Ospina De Los Ríos

Merge request reports

Merge request pipeline passed for 886d438d

Approval is optional

Merged by Santiago Ospina De Los RíosSantiago Ospina De Los Ríos 10 months ago (Jun 1, 2024 4:21pm UTC)

Merge details

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

Pipeline waiting for manual action for adb7d071 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
Loading