Focusing on warm dark matter with lensed high-redshift galaxies