Run `convert.py` in CI

[babolivier]

convert.py is an important step of the deployment process, and we shouldn't accept a PR that introduces changes it cannot handle.