mirror of
https://github.com/Z3Prover/z3
synced 2026-01-19 08:43:18 +00:00
update aw to current version
This commit is contained in:
parent
ccc2a34444
commit
c7cee3227d
7 changed files with 8888 additions and 0 deletions
25
.github/workflows/copilot-setup-steps.yml
vendored
Normal file
25
.github/workflows/copilot-setup-steps.yml
vendored
Normal file
|
|
@ -0,0 +1,25 @@
|
|||
name: "Copilot Setup Steps"
|
||||
|
||||
# This workflow configures the environment for GitHub Copilot Agent with gh-aw MCP server
|
||||
on:
|
||||
workflow_dispatch:
|
||||
push:
|
||||
paths:
|
||||
- .github/workflows/copilot-setup-steps.yml
|
||||
|
||||
jobs:
|
||||
# The job MUST be called 'copilot-setup-steps' to be recognized by GitHub Copilot Agent
|
||||
copilot-setup-steps:
|
||||
runs-on: ubuntu-latest
|
||||
|
||||
# Set minimal permissions for setup steps
|
||||
# Copilot Agent receives its own token with appropriate permissions
|
||||
permissions:
|
||||
contents: read
|
||||
|
||||
steps:
|
||||
- name: Install gh-aw extension
|
||||
run: |
|
||||
curl -fsSL https://raw.githubusercontent.com/githubnext/gh-aw/refs/heads/main/install-gh-aw.sh | bash
|
||||
- name: Verify gh-aw installation
|
||||
run: gh aw version
|
||||
Loading…
Add table
Add a link
Reference in a new issue