╭ changed ────────────╮ │src/ui/Home/Repos.zig│ ╰─────────────────────╯ ╭───────────╮ │← all files│ ╰───────────╯ ╭────────────────────────────────────────────────────────────────────────────────────╮ │44 │ │45 // read the window [start, start+page_size) with one seek to the start rank,│ │46 // then a sequential walk │ │47 - const end = @min(start + page_size, count); │ │47 + const end = @min(start +| page_size, count); │ │48 var iter = try repo_id_set.iteratorFromIndex(start); │ │49 var i = start; │ │50 while (i < end) : (i += 1) { │ ╰────────────────────────────────────────────────────────────────────────────────────╯