Skip to content

Fix issue with user defaults + required directory + pre-call filtering#11219

Merged
shykes merged 1 commit into
dagger:mainfrom
shykes:user-defaults-fix
Oct 12, 2025
Merged

Fix issue with user defaults + required directory + pre-call filtering#11219
shykes merged 1 commit into
dagger:mainfrom
shykes:user-defaults-fix

Conversation

@shykes
Copy link
Copy Markdown
Contributor

@shykes shykes commented Oct 10, 2025

As reported by MB on Discord.

@shykes shykes force-pushed the user-defaults-fix branch 3 times, most recently from 7b2a819 to b250127 Compare October 12, 2025 18:50
@shykes shykes changed the title Fix issues with user defaults Fix issue with user defaults + required directory + pre-call filtering Oct 12, 2025
@shykes shykes marked this pull request as ready for review October 12, 2025 18:51
…default + user default

Also expand test harness.

Signed-off-by: Solomon Hykes <solomon@dagger.io>
@shykes shykes force-pushed the user-defaults-fix branch from b250127 to 3f66b3d Compare October 12, 2025 20:50
@shykes shykes merged commit 54c40b0 into dagger:main Oct 12, 2025
73 of 74 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants