Skip to content
Snippets Groups Projects

Clean up indexing, Pt. 1

Merged Clean up indexing, Pt. 1
bauerd/indexing into main
All threads resolved!
Merged Daniel Bauer requested to merge bauerd/indexing into main
All threads resolved!

Closes #46 (closed).

  • Remove dead and duplicate code
  • Introduce type alias for index
  • Fix typing issues
  • Bump mypy to 1.15.0 (current latest version). "Narrowing Tuple Types Using len()" was introduced in 1.7, we've been using 1.2.

#41 remains to be resolved later, after !39 lands.

Edited by Daniel Bauer

Merge request reports

Pipeline #75038 passed with warnings

Stage:
    Stage:

      Pipeline passed with warnings for d6758366 on bauerd/indexing

      Approved by
      Marcus Mohr

      Merged by Daniel BauerDaniel Bauer 3 days ago (Apr 1, 2025 9:06am UTC)

      Merge details

      Pipeline #77518 passed with warnings

      Stage:
        Stage:
          Stage:

            Pipeline passed with warnings for c9487067 on main

            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