Skip to content

dream: drop redundant gather re-sort in async bulk#31

Merged
franccesco merged 1 commit into
mainfrom
dream/2026-07-23.1/finding-011
Jul 24, 2026
Merged

dream: drop redundant gather re-sort in async bulk#31
franccesco merged 1 commit into
mainfrom
dream/2026-07-23.1/finding-011

Conversation

@franccesco

Copy link
Copy Markdown
Owner

Dream finding

  • Dream: dream-2026-07-23.1 | Umbrella: Dream dream-2026-07-23.1 #20 | Finding: 011
  • Drop needless re-sort after asyncio.gather in bulk async.
    Nothing auto-merges.

@franccesco franccesco added the dream Dream audit findings and umbrella runs label Jul 24, 2026
Dream dream-2026-07-23.1 finding 011.
@franccesco
franccesco force-pushed the dream/2026-07-23.1/finding-011 branch from 63b75c9 to 7023fa7 Compare July 24, 2026 02:04
@franccesco
franccesco merged commit 4460ef9 into main Jul 24, 2026
@franccesco
franccesco deleted the dream/2026-07-23.1/finding-011 branch July 24, 2026 02:04
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

dream Dream audit findings and umbrella runs

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant