Skip to content
Snippets Groups Projects

Fix a naming bug in RemoteIndex

Merged Fix a naming bug in RemoteIndex
issue/remote-indices-attribute into master
1 unresolved thread
Merged Simon Praetorius requested to merge issue/remote-indices-attribute into master
1 unresolved thread

This bug showed up in clang-19

Merge request reports

Merge request pipeline #70793 passed

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

#70869

    Merge request pipeline passed for d36ce92a

    Approval is optional

    Merged by Simon PraetoriusSimon Praetorius 10 months ago (May 29, 2024 10:55am UTC)

    Merge details

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

    Pipeline #71100 waiting for manual action

    Stage: .pre
    Stage: test
    Stage: code_quality
    Stage: downstream

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