Fix smoke test workflows not removing smoke label

[Copilot]

Smoke test workflows added engine-specific labels (smoke-copilot, smoke-codex) but failed to remove the triggering smoke label. Agent logs showed add_labels calls but no remove_labels calls despite prompt instructions.

Changes

Explicit tool calls in prompts

Agent didn't recognize implicit instructions like "Remove the label" as requiring the remove_labels safe-output tool.

Before:

If all tests pass:
- Add the label `smoke-copilot` to the pull request
- Remove the label `smoke` from the pull request

After:

If all tests pass:
- Use the `add_labels` safe-output tool to add the label `smoke-copilot` to the pull request
- Use the `remove_labels` safe-output tool to remove the label `smoke` from the pull request

Files updated

• smoke-copilot.md / smoke-codex.md - Explicit tool names in prompt
• Corresponding .lock.yml files - Recompiled workflows

Both workflows had remove-labels configured in safe-outputs but only copilot mentioned removal in the prompt. Now both explicitly name the tools.

Original prompt

Reference: https://github.com/githubnext/gh-aw/actions/runs/21271826532/job/61223411716

debug why Smoke Copilot did not instruct safe-outputs to remove the smoke label. This should be part of the prompt, and the safe-output remove-labels tool should have been called and applied. The smoke label is still on the pull-request.

---

💡 You can make Copilot smarter by setting up custom instructions, customizing its development environment and configuring Model Context Protocol (MCP) servers. Learn more Copilot coding agent tips in the docs.