Skip to content
Rebuild PR

core.module.thing(.ide): switch some files from .xtend to .java #1099

Sign in to view logs

core.module.thing(.ide): switch some files from .xtend to .java

core.module.thing(.ide): switch some files from .xtend to .java #1099

rebuild

rebuild
succeeded Aug 18, 2026 in 3s