3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2026-01-19 08:43:18 +00:00

Fix agentics-maintenance.yml: use pre-built gh-aw binary instead of building from source (#8147)

* Initial plan

* Fix agentics-maintenance.yml: Replace Go build with pre-built binary installation

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

* Pin gh-aw installation script to v0.36.0 commit hash for security

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-10 19:45:25 -08:00 committed by GitHub
parent 2777a39b93
commit 94898c6bf8
No known key found for this signature in database
GPG key ID: B5690EEEBB952194

View file

@ -91,18 +91,14 @@ jobs:
persist-credentials: false
- name: Setup Go
uses: actions/setup-go@41dfa10bad2bb2ae585af6ee5bb4d7d973ad74ed # v5.1.0
with:
go-version-file: go.mod
cache: true
- name: Build gh-aw
run: make build
- name: Install gh-aw
run: |
curl -fsSL https://raw.githubusercontent.com/githubnext/gh-aw/329844a/install-gh-aw.sh | bash
echo "$HOME/.local/bin" >> $GITHUB_PATH
- name: Compile workflows
run: |
./gh-aw compile --validate --verbose
gh-aw compile --validate --verbose
echo "✓ All workflows compiled successfully"
- name: Setup Scripts
@ -128,16 +124,12 @@ jobs:
- name: Checkout repository
uses: actions/checkout@11bd71901bbe5b1630ceea73d27597364c9af683 # v4.2.2
- name: Setup Go
uses: actions/setup-go@41dfa10bad2bb2ae585af6ee5bb4d7d973ad74ed # v5.1.0
with:
go-version-file: go.mod
cache: true
- name: Build gh-aw
run: make build
- name: Install gh-aw
run: |
curl -fsSL https://raw.githubusercontent.com/githubnext/gh-aw/329844a/install-gh-aw.sh | bash
echo "$HOME/.local/bin" >> $GITHUB_PATH
- name: Run zizmor security scanner
run: |
./gh-aw compile --zizmor --verbose
gh-aw compile --zizmor --verbose
echo "✓ Zizmor security scan completed"