Skip to content
Snippets Groups Projects

[cleanup] Remove outdated TODO file

Merged [cleanup] Remove outdated TODO file
cleanup/remove-todo-file into master
Merged Timo Koch requested to merge cleanup/remove-todo-file into master

Merge request reports

Pipeline #64591 passed with warnings

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

#64593

    Pipeline passed with warnings for 66df1e3b on cleanup/remove-todo-file

    Approval is optional

    Merged by Santiago Ospina De Los RíosSantiago Ospina De Los Ríos 1 year ago (Sep 22, 2023 1:48pm UTC)

    Merge details

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

    Pipeline #64614 passed with warnings

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

    #64617

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