[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/27290883003

Warning

Engine Failure: The copilot engine terminated before producing output.

Error details:

• dependency failed to start: container awf-cli-proxy exited (1)

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

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

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 Jun 11, 2026, 4:41 AM UTC