Let "effort=max" in an @claude comment opt into max effort

Only comments that start with "@claude /pr-review" run Claude at max
effort. Any other request, such as "@claude review", runs at the default
effort, so there is no way to ask for a deeper review without the
/pr-review panel.

A comment that contains "effort=max" now also runs at max effort, as
pytorch/pytorch does. Every other request keeps the default. Max effort
reviews took 12 to 39 minutes in our runs, against 3 to 9 at the default,
and the job's AWS and GitHub credentials expire after about an hour, so
making max the default would cut some reviews off.

Author: shoumikhin

.github/workflows/claude-code.yml

@@ -10,7 +10,7 @@ jobs:
   claude-code:
     uses: pytorch/test-infra/.github/workflows/_claude-code.yml@main
     with:
-      additional_claude_args: --allowedTools Skill ${{ startsWith(github.event.comment.body, '@claude /pr-review') && '--effort max' || '' }}
+      additional_claude_args: --allowedTools Skill ${{ (startsWith(github.event.comment.body, '@claude /pr-review') || contains(github.event.comment.body, 'effort=max')) && '--effort max' || '' }}
       append_system_prompt: |
         When asked to review a PR, always use the /pr-review skill first.
         Put the detailed review inside a GitHub collapsible section and a