[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:

• claude-haiku-5.5
• claude-opus-5.5
• claude-sonnet-5.5
• gpt-6-astra
• gpt-6-luna
• gpt-6-sol
• gpt-6.1-sol
• grok-4.6
• grok-4.7
• mai-code-1.1-flash

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.

Generated by Copilot Model List Updater · auto · 36.6 AIC · ⊞ 12.3K · ◷

[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.

[github-actions]

Superseded by a newer update that also removes models no longer served (gpt-5-mini, gpt-5.4, gpt-5.4-mini, gpt-5.5, grok-4.5).

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 · 31.5 AIC · ⊞ 6.8K