[aw] Daily Formal Spec Verifier failed

[github-actions]

Workflow Failure

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

Action Required

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

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/33106432620

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/33106432620

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 · ◷

• expires on Aug 28, 2026, 7:06 AM UTC