Skip to content
Snippets Groups Projects

GRHD: ban `ParameterDB` usage from `rhs` due to type instabilities

Merged GRHD: ban `ParameterDB` usage from `rhs` due to type instabilities
fa/rm-prmsdb into main
Merged Florian Atteneder requested to merge fa/rm-prmsdb into main

Merge request reports

Merge request pipeline #7026 passed

Stage: test

    Merge request pipeline passed for 1329891a

    Test coverage 66.64% (-0.01%) from 1 job
    Approval is optional

    Merged by Florian AttenederFlorian Atteneder 8 months ago (Jul 22, 2024 7:39am UTC)

    Merge details

    • Changes merged into main with 7ea7d997 (commits were squashed).
    • Deleted the source branch.
    • Auto-merge enabled

    Pipeline #7027 passed

    Stage: test
      Stage: deploy

        Pipeline passed for 7ea7d997 on main

        Test coverage 66.65% (-0.01%) from 1 job

        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