Allow customizing the .webp filename rule
Allow customizing the .webp filename rule: a task in MiMo-V2.6-RL-oss: Agentic RL Environments (MiMo RL release). Allow customizing the .webp filename rule Most WebP converters I've used (the ones that batch-convert .jpg / .png to .webp) keep the original extension and just append .webp. So…
The task
Allow customizing the .webp filename rule Most WebP converters I've used (the ones that batch-convert .jpg / .png to .webp) keep the original extension and just append .webp. So logo.png becomes logo.png.webp on disk, not logo.webp. This is actually the default in a lot of…
Part of XiaomiMiMo/MiMo-V2.6-RL-oss.