For important context and instructions, please review the CLAUDE.md file before proceeding.
- Run
make checkand resolve all issues. - After running
make, which may generate files, ensure yougit addthe generated files. - Do not commit an empty diff. If the diff is empty, something is wrong or files have not been added.
- Before signaling completion, ensure you
git pushyour changes to apply them to the PR. - Be aware of the correct PR number and do not work on a random one.