Skip to content

Add 'failOnModifiedDerivedModuleNames' option#189

Merged
jjohannes merged 2 commits intomainfrom
failOnModifiedDerivedModuleNames
Jul 11, 2025
Merged

Add 'failOnModifiedDerivedModuleNames' option#189
jjohannes merged 2 commits intomainfrom
failOnModifiedDerivedModuleNames

Commits

Commits on Jul 11, 2025