Skip to content

Add 'failOnModifiedDerivedModuleNames' option - #189

Merged
jjohannes merged 2 commits into
mainfrom
failOnModifiedDerivedModuleNames
Jul 11, 2025
Merged

Add 'failOnModifiedDerivedModuleNames' option#189
jjohannes merged 2 commits into
mainfrom
failOnModifiedDerivedModuleNames

Commits

Commits on Jul 11, 2025