fix: replace unsupported model pins in 5 workflow frontmatters

[Copilot]

Two classes of stale model pins were causing 400 The requested model is not supported failures: a typo in the claude model name (claude-haiku-4-5 vs the valid claude-haiku-4.5), and gpt-5.1-codex-mini being unavailable on the current Copilot subscription tier.

Changes

• daily-community-attribution.md — fix typo: claude-haiku-4-5 → claude-haiku-4.5 (dash vs dot in patch version)
• github-remote-mcp-auth-test.md — gpt-5.1-codex-mini (copilot engine) → gpt-5.4-mini
• daily-fact.md, changeset.md, smoke-call-workflow.md — gpt-5.1-codex-mini (codex engine) → gpt-5.4-mini
• All five corresponding .lock.yml files regenerated via make recompile

[pelikhan]

@copilot use gpt-5.4-mini in pace of gpt-5.2-codex

[Copilot]

@copilot use gpt-5.4-mini in pace of gpt-5.2-codex

Done — updated daily-fact.md, changeset.md, and smoke-call-workflow.md to use gpt-5.4-mini (commit 5708341).

Warning

Firewall rules blocked me from connecting to one or more addresses (expand for details)

I tried to connect to the following addresses, but was blocked by firewall rules:

• https://api.github.com/graphql
  • Triggering command: /usr/bin/gh /usr/bin/gh api graphql -f query=query($owner: String!, $name: String!) { repository(owner: $owner, name: $name) { hasDiscussionsEnabled } } -f owner=github -f name=gh-aw (http block)
• https://api.github.com/repos/astral-sh/setup-uv/git/ref/tags/eac588ad8def6316056a12d4907a9d4d84ff7a3b
  • Triggering command: /usr/bin/gh gh api /repos/astral-sh/setup-uv/git/ref/tags/eac588ad8def6316056a12d4907a9d4d84ff7a3b --jq [.object.sha, .object.type] | @tsv (http block)
• https://api.github.com/repos/github/gh-aw
  • Triggering command: /usr/bin/gh gh api /repos/github/gh-aw --jq .default_branch (http block)

If you need me to access, download, or install something from one of these locations, you can either:

• Configure Actions setup steps to set up my environment, which run before the firewall is enabled
• Add the appropriate URLs or hosts to the custom allowlist in this repository's Copilot coding agent settings (admins only)

[pelikhan]

@copilot merge main and recompile

[Copilot]

Pull request overview

Updates workflow frontmatter model pins to replace stale/unsupported model identifiers that were causing 400 The requested model is not supported failures.

Changes:

• Fixes a typo in the Claude model pin (claude-haiku-4-5 → claude-haiku-4.5).
• Replaces unavailable gpt-5.1-codex-mini pins with gpt-5-mini (Copilot engine) and gpt-5.4-mini (Codex engine), depending on workflow.
• Regenerates the corresponding .lock.yml workflow lockfiles to reflect updated frontmatter hashes and model metadata.

Show a summary per file

File	Description
.github/workflows/smoke-call-workflow.md	Updates Codex engine model pin to gpt-5.4-mini.
.github/workflows/smoke-call-workflow.lock.yml	Regenerated lockfile reflecting updated model metadata and hashes.
.github/workflows/github-remote-mcp-auth-test.md	Updates Copilot engine model pin to gpt-5-mini.
.github/workflows/github-remote-mcp-auth-test.lock.yml	Regenerated lockfile reflecting updated model metadata and hashes.
.github/workflows/daily-fact.md	Updates Codex engine model pin to gpt-5.4-mini.
.github/workflows/daily-fact.lock.yml	Regenerated lockfile reflecting updated model metadata and hashes.
.github/workflows/daily-community-attribution.md	Fixes Claude model pin typo to claude-haiku-4.5.
.github/workflows/daily-community-attribution.lock.yml	Regenerated lockfile reflecting updated model metadata and hashes.
.github/workflows/changeset.md	Updates Codex engine model pin to gpt-5.4-mini.
.github/workflows/changeset.lock.yml	Regenerated lockfile reflecting updated model metadata and hashes.

Copilot's findings

Tip

Add Copilot custom instructions for smarter, more guided reviews. Learn how to get started.

• Files reviewed: 10/10 changed files
• Comments generated: 0

[Copilot]

@copilot merge main and recompile

Done — merged origin/main (resolved the github-remote-mcp-auth-test.md conflict by accepting main's gpt-5.4-mini) and recompiled all 201 workflows (commit 11a22a7).

Warning

Firewall rules blocked me from connecting to one or more addresses (expand for details)

I tried to connect to the following addresses, but was blocked by firewall rules:

• https://api.github.com/graphql
  • Triggering command: /usr/bin/gh /usr/bin/gh api graphql -f query=query($owner: String!, $name: String!) { repository(owner: $owner, name: $name) { hasDiscussionsEnabled } } -f owner=github -f name=gh-aw (http block)
  • Triggering command: /usr/bin/gh /usr/bin/gh api graphql -f query=query($owner: String!, $name: String!) { repository(owner: $owner, name: $name) { hasDiscussionsEnabled } } -f owner=github -f name=gh-aw 7RLxMFO/9n8DeVHuapi (http block)
• https://api.github.com/repos/astral-sh/setup-uv/git/ref/tags/eac588ad8def6316056a12d4907a9d4d84ff7a3b
  • Triggering command: /usr/bin/gh gh api /repos/astral-sh/setup-uv/git/ref/tags/eac588ad8def6316056a12d4907a9d4d84ff7a3b --jq [.object.sha, .object.type] | @tsv (http block)
• https://api.github.com/repos/github/gh-aw
  • Triggering command: /usr/bin/gh gh api /repos/github/gh-aw --jq .default_branch (http block)

If you need me to access, download, or install something from one of these locations, you can either:

• Configure Actions setup steps to set up my environment, which run before the firewall is enabled
• Add the appropriate URLs or hosts to the custom allowlist in this repository's Copilot coding agent settings (admins only)