Skip to content

dream: use Path.open for config file I/O#36

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

dream: use Path.open for config file I/O#36
franccesco merged 1 commit into
mainfrom
dream/2026-07-23.1/finding-016

Conversation

@franccesco

Copy link
Copy Markdown
Owner

Dream finding

  • Dream: dream-2026-07-23.1 | Umbrella: Dream dream-2026-07-23.1 #20 | Finding: 016
  • Use Path.open() in configuration; update tests that patched builtins.open.
    Nothing auto-merges.

@franccesco franccesco added the dream Dream audit findings and umbrella runs label Jul 24, 2026
@franccesco
franccesco force-pushed the dream/2026-07-23.1/finding-016 branch from 77fadeb to 9094f90 Compare July 24, 2026 02:04
Dream dream-2026-07-23.1 finding 016.
@franccesco
franccesco force-pushed the dream/2026-07-23.1/finding-016 branch from 9094f90 to f4a75ed Compare July 24, 2026 02:06
@franccesco
franccesco merged commit 515c5de into main Jul 24, 2026
@franccesco
franccesco deleted the dream/2026-07-23.1/finding-016 branch July 24, 2026 02:06
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