These are used by release process, so add them to CI to notice if we
break release scripts.