The name replaces the working one across the specification, the two checkers and their planted set. The planted module that carries a profile name in a custom section is rebuilt with build.py. CI's step label stays ASCII. Co-Authored-By: Claude Opus 5.5 <[email protected]>
172 B
172 B