mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2026-02-20 23:44:41 +00:00
Code Activity

Upgrade GitHub Agentic Workflows to v0.37.15 (#8309)

Browse source 
* Initial plan

* Upgrade workflows to gh-aw v0.37.15

Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>

---------

Co-authored-by: copilot-swe-agent[bot] <198982749+Copilot@users.noreply.github.com>
Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>
This commit is contained in:
Copilot 2026-01-23 15:30:16 -08:00 • committed by Nikolaj Bjorner
parent 1fd72232eb
commit de907996cc
6 changed files with 63 additions and 47 deletions
Download patch file Download diff file Expand all files Collapse all files

19
.github/aw/upgrade-agentic-workflows.md vendored
View file

@ -23,15 +23,16 @@ Read the ENTIRE content of this file carefully before proceeding. Follow the ins
- `compile` → compile all workflows
- `compile <workflow-name>` → compile a specific workflow
:::note[Command Execution]
When running in GitHub Copilot Cloud, you don't have direct access to `gh aw` CLI commands. Instead, use the **agentic-workflows** MCP tool:
- `fix` tool → apply automatic codemods to fix deprecated fields
- `compile` tool → compile workflows
When running in other environments with `gh aw` CLI access, prefix commands with `gh aw` (e.g., `gh aw compile`).
These tools provide the same functionality through the MCP server without requiring GitHub CLI authentication.
:::
> [!NOTE]
> **Command Execution**
>
> When running in GitHub Copilot Cloud, you don't have direct access to `gh aw` CLI commands. Instead, use the **agentic-workflows** MCP tool:
> - `fix` tool → apply automatic codemods to fix deprecated fields
> - `compile` tool → compile workflows
>
> When running in other environments with `gh aw` CLI access, prefix commands with `gh aw` (e.g., `gh aw compile`).
>
> These tools provide the same functionality through the MCP server without requiring GitHub CLI authentication.
## Instructions