Skip to content

dream: drop unused direct typing-extensions dependency#24

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

dream: drop unused direct typing-extensions dependency#24
franccesco merged 1 commit into
mainfrom
dream/2026-07-23.1/finding-004

Conversation

@franccesco

Copy link
Copy Markdown
Owner

Dream finding

  • Dream: dream-2026-07-23.1 | Umbrella: Dream dream-2026-07-23.1 #20 | Finding: 004
  • Remove unused direct typing-extensions dependency (remains via pydantic).
    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 004.
@franccesco
franccesco force-pushed the dream/2026-07-23.1/finding-004 branch from 0088ab6 to cdd0a12 Compare July 24, 2026 02:03
@franccesco
franccesco merged commit 16ef48a into main Jul 24, 2026
@franccesco
franccesco deleted the dream/2026-07-23.1/finding-004 branch July 24, 2026 02:03
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