Skip to content

Pin CI gh-aw setup to a compiler version that supports tools.cli-proxy#11

Merged
mnkiefer merged 2 commits intocopilot/delete-daily-audit-basefrom
copilot/check-gh-aw-version
May 5, 2026
Merged

Pin CI gh-aw setup to a compiler version that supports tools.cli-proxy#11
mnkiefer merged 2 commits intocopilot/delete-daily-audit-basefrom
copilot/check-gh-aw-version

Conversation

Copy link
Copy Markdown
Contributor

Copilot AI commented May 5, 2026

CI was compiling these workflows with an older gh aw binary than intended, which rejected tools.cli-proxy: true even though that frontmatter is valid in newer releases. This change makes the compile job install the intended compiler version explicitly instead of falling back to an incompatible default.

  • Problem

    • github/gh-aw-actions/setup-cli was invoked without its required version input.
    • The workflow also used gh_token instead of the action’s supported github-token input.
    • As a result, CI installed gh aw v0.71.1, and gh aw compile --dir workflows failed on:
      • workflows/copilot-token-audit.md
      • workflows/copilot-token-optimizer.md
  • Change

    • Update .github/workflows/ci.yml to pass the action’s supported inputs explicitly:
      • version: v0.71.4
      • github-token: ${{ secrets.GITHUB_TOKEN }}
    • Keep the workflow sources unchanged; the fix is in CI/tooling alignment, not workflow syntax.
  • Effect

    • The compile job now uses a gh aw version that recognizes tools.cli-proxy: true.
    • CI behavior now matches the workflow syntax already present in the repository.
  • Relevant snippet

    - name: Set up gh-aw CLI
      uses: github/gh-aw-actions/setup-cli@f8495a686e66770ae977f82732f34d7340ee42a4
      with:
        version: v0.71.4
        github-token: ${{ secrets.GITHUB_TOKEN }}

Copilot AI and others added 2 commits May 5, 2026 10:35
@mnkiefer mnkiefer merged commit fcf7d6e into copilot/delete-daily-audit-base May 5, 2026
4 checks passed
@mnkiefer mnkiefer deleted the copilot/check-gh-aw-version branch May 5, 2026 10:52
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants