chore(deps): update copilot model list

[github-actions]

Copilot Model List Update

Keeps the model catalog in src/inspect/catalog.rs current with the models
available through the Copilot API proxy.

Changes

Added:
None.

Removed:

• claude-opus-4.7

Note on default model selection

This PR does not change default model selection in src/engine.rs. ado-aw
does not pass --model unless front matter explicitly sets engine.model, so
the installed Copilot CLI chooses its own default.

Source

Models read from the AWF api-proxy /reflect endpoint inside the agent
sandbox (copilot provider), which reports the models actually reachable by
this workflow's engine.

---

This PR was opened automatically by the Copilot model list updater workflow.

Warning

Firewall blocked 1 domain

The following domain was blocked by the firewall during workflow execution:

• index.crates.io

To allow these domains, add them to the network.allowed list in your workflow frontmatter:

network:
  allowed:
    - defaults
    - "index.crates.io"

See Network Configuration for more information.

Generated by Copilot Model List Updater · auto · 61.6 AIC · ⌖ 6.03 AIC · ⊞ 12.2K · ◷

[azure-pipelines]

Azure Pipelines:
2 pipeline(s) were filtered out due to trigger conditions.
There may be pipelines that require an authorized user to comment /azp run to run.