[aw] Daily Formal Spec Verifier timed out

[github-actions]

Workflow Failure

Workflow: Daily Formal Spec Verifier
Branch: main
Run: https://github.com/github/gh-aw/actions/runs/29106346453

Agent Timed Out: The agent job exceeded the maximum allowed execution time (25 minutes).

To increase the timeout, add or update the timeout-minutes setting in your workflow's frontmatter:

---
timeout-minutes: 35
---

Action Required

Assign this issue to an agent to debug and fix the issue.

Optimize token consumption

This failure was triggered by a guardrail limit (max-turns / timeout). Use this prompt with any coding agent (GitHub Copilot, Claude, Gemini, etc.) to analyze token usage and reduce costs:

Optimize the agentic workflow token consumption using https://raw.githubusercontent.com/github/gh-aw/main/optimize.md

The workflow run is at https://github.com/github/gh-aw/actions/runs/29106346453

Debug with any coding agent

Use this prompt with any coding agent (GitHub Copilot, Claude, Gemini, etc.):

Debug the agentic workflow failure using https://raw.githubusercontent.com/github/gh-aw/main/debug.md

The failed workflow run is at https://github.com/github/gh-aw/actions/runs/29106346453

Manually invoke the agent

Debug this workflow failure using your favorite Agent CLI and the agentic-workflows prompt.

• Start your agent
• Load the agentic-workflows skill from .github/skills/agentic-workflows/SKILL.md or https://github.com/github/gh-aw/blob/main/.github/skills/agentic-workflows/SKILL.md
• Type debug the agentic workflow daily-formal-spec-verifier failure in https://github.com/github/gh-aw/actions/runs/29106346453

Tip

Stop reporting this workflow as a failure

To stop a workflow from creating failure issues, set report-failure-as-issue: false in its frontmatter:

safe-outputs:
  report-failure-as-issue: false

Generated from Daily Formal Spec Verifier · 219 AIC · ◷

• expires on Jul 11, 2026, 4:28 AM UTC