feat(config-schema): mirror experimental swe_pruner keys from CLI config - #4416
Closed
Drilmo wants to merge 1 commit into
Closed
feat(config-schema): mirror experimental swe_pruner keys from CLI config#4416Drilmo wants to merge 1 commit into
Drilmo wants to merge 1 commit into