3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2026-07-06 07:16:13 +00:00

Document upgrade changes and verify workflow compilation

Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>
This commit is contained in:
copilot-swe-agent[bot] 2026-02-17 23:34:37 +00:00 committed by Nikolaj Bjorner
parent 26c9adbe68
commit 04b2fb3aaa
12 changed files with 29 additions and 17 deletions

View file

@ -153,7 +153,7 @@ jobs:
</system> </system>
GH_AW_PROMPT_EOF GH_AW_PROMPT_EOF
cat << 'GH_AW_PROMPT_EOF' >> "$GH_AW_PROMPT" cat << 'GH_AW_PROMPT_EOF' >> "$GH_AW_PROMPT"
{{#runtime-import a3-python-v2.md}} {{#runtime-import .github/workflows/a3-python-v2.md}}
GH_AW_PROMPT_EOF GH_AW_PROMPT_EOF
- name: Interpolate variables and render templates - name: Interpolate variables and render templates
uses: actions/github-script@ed597411d8f924073f98dfc5c65a23a2325f34cd # v8 uses: actions/github-script@ed597411d8f924073f98dfc5c65a23a2325f34cd # v8

View file

@ -151,7 +151,7 @@ jobs:
</system> </system>
GH_AW_PROMPT_EOF GH_AW_PROMPT_EOF
cat << 'GH_AW_PROMPT_EOF' >> "$GH_AW_PROMPT" cat << 'GH_AW_PROMPT_EOF' >> "$GH_AW_PROMPT"
{{#runtime-import a3-python.md}} {{#runtime-import .github/workflows/a3-python.md}}
GH_AW_PROMPT_EOF GH_AW_PROMPT_EOF
- name: Interpolate variables and render templates - name: Interpolate variables and render templates
uses: actions/github-script@ed597411d8f924073f98dfc5c65a23a2325f34cd # v8 uses: actions/github-script@ed597411d8f924073f98dfc5c65a23a2325f34cd # v8

View file

@ -13,11 +13,13 @@
# \ /\ / (_) | | | | ( | | | | (_) \ V V /\__ \ # \ /\ / (_) | | | | ( | | | | (_) \ V V /\__ \
# \/ \/ \___/|_| |_|\_\|_| |_|\___/ \_/\_/ |___/ # \/ \/ \___/|_| |_|\_\|_| |_|\___/ \_/\_/ |___/
# #
# This file was automatically generated by pkg/workflow/maintenance_workflow.go (v0.37.23). DO NOT EDIT. # This file was automatically generated by pkg/workflow/maintenance_workflow.go (v0.45.6). DO NOT EDIT.
# #
# To regenerate this workflow, run: # To regenerate this workflow, run:
# gh aw compile # gh aw compile
# For more information: https://github.com/githubnext/gh-aw/blob/main/.github/aw/github-agentic-workflows.md # Not all edits will cause changes to this file.
#
# For more information: https://github.github.com/gh-aw/introduction/overview/
# #
# Alternative regeneration methods: # Alternative regeneration methods:
# make recompile # make recompile
@ -26,7 +28,7 @@
# ./gh-aw compile --validate --verbose # ./gh-aw compile --validate --verbose
# #
# The workflow is generated when any workflow uses the 'expires' field # The workflow is generated when any workflow uses the 'expires' field
# in create-discussions or create-issues safe-outputs configuration. # in create-discussions, create-issues, or create-pull-request safe-outputs configuration.
# Schedule frequency is automatically determined by the shortest expiration time. # Schedule frequency is automatically determined by the shortest expiration time.
# #
name: Agentic Maintenance name: Agentic Maintenance
@ -44,14 +46,15 @@ jobs:
permissions: permissions:
discussions: write discussions: write
issues: write issues: write
pull-requests: write
steps: steps:
- name: Setup Scripts - name: Setup Scripts
uses: githubnext/gh-aw/actions/setup@v0.45.1 uses: github/gh-aw/actions/setup@v0.45.6
with: with:
destination: /opt/gh-aw/actions destination: /opt/gh-aw/actions
- name: Close expired discussions - name: Close expired discussions
uses: actions/github-script@ed597411d8f924073f98dfc5c65a23a2325f34cd # v8.0.0 uses: actions/github-script@ed597411d8f924073f98dfc5c65a23a2325f34cd # v8
with: with:
script: | script: |
const { setupGlobals } = require('/opt/gh-aw/actions/setup_globals.cjs'); const { setupGlobals } = require('/opt/gh-aw/actions/setup_globals.cjs');
@ -60,10 +63,19 @@ jobs:
await main(); await main();
- name: Close expired issues - name: Close expired issues
uses: actions/github-script@ed597411d8f924073f98dfc5c65a23a2325f34cd # v8.0.0 uses: actions/github-script@ed597411d8f924073f98dfc5c65a23a2325f34cd # v8
with: with:
script: | script: |
const { setupGlobals } = require('/opt/gh-aw/actions/setup_globals.cjs'); const { setupGlobals } = require('/opt/gh-aw/actions/setup_globals.cjs');
setupGlobals(core, github, context, exec, io); setupGlobals(core, github, context, exec, io);
const { main } = require('/opt/gh-aw/actions/close_expired_issues.cjs'); const { main } = require('/opt/gh-aw/actions/close_expired_issues.cjs');
await main(); await main();
- name: Close expired pull requests
uses: actions/github-script@ed597411d8f924073f98dfc5c65a23a2325f34cd # v8
with:
script: |
const { setupGlobals } = require('/opt/gh-aw/actions/setup_globals.cjs');
setupGlobals(core, github, context, exec, io);
const { main } = require('/opt/gh-aw/actions/close_expired_pull_requests.cjs');
await main();

View file

@ -154,7 +154,7 @@ jobs:
</system> </system>
GH_AW_PROMPT_EOF GH_AW_PROMPT_EOF
cat << 'GH_AW_PROMPT_EOF' >> "$GH_AW_PROMPT" cat << 'GH_AW_PROMPT_EOF' >> "$GH_AW_PROMPT"
{{#runtime-import api-coherence-checker.md}} {{#runtime-import .github/workflows/api-coherence-checker.md}}
GH_AW_PROMPT_EOF GH_AW_PROMPT_EOF
- name: Interpolate variables and render templates - name: Interpolate variables and render templates
uses: actions/github-script@ed597411d8f924073f98dfc5c65a23a2325f34cd # v8 uses: actions/github-script@ed597411d8f924073f98dfc5c65a23a2325f34cd # v8

View file

@ -152,7 +152,7 @@ jobs:
</system> </system>
GH_AW_PROMPT_EOF GH_AW_PROMPT_EOF
cat << 'GH_AW_PROMPT_EOF' >> "$GH_AW_PROMPT" cat << 'GH_AW_PROMPT_EOF' >> "$GH_AW_PROMPT"
{{#runtime-import build-warning-fixer.md}} {{#runtime-import .github/workflows/build-warning-fixer.md}}
GH_AW_PROMPT_EOF GH_AW_PROMPT_EOF
- name: Interpolate variables and render templates - name: Interpolate variables and render templates
uses: actions/github-script@ed597411d8f924073f98dfc5c65a23a2325f34cd # v8 uses: actions/github-script@ed597411d8f924073f98dfc5c65a23a2325f34cd # v8

View file

@ -152,7 +152,7 @@ jobs:
</system> </system>
GH_AW_PROMPT_EOF GH_AW_PROMPT_EOF
cat << 'GH_AW_PROMPT_EOF' >> "$GH_AW_PROMPT" cat << 'GH_AW_PROMPT_EOF' >> "$GH_AW_PROMPT"
{{#runtime-import code-conventions-analyzer.md}} {{#runtime-import .github/workflows/code-conventions-analyzer.md}}
GH_AW_PROMPT_EOF GH_AW_PROMPT_EOF
- name: Interpolate variables and render templates - name: Interpolate variables and render templates
uses: actions/github-script@ed597411d8f924073f98dfc5c65a23a2325f34cd # v8 uses: actions/github-script@ed597411d8f924073f98dfc5c65a23a2325f34cd # v8

View file

@ -156,7 +156,7 @@ jobs:
</system> </system>
GH_AW_PROMPT_EOF GH_AW_PROMPT_EOF
cat << 'GH_AW_PROMPT_EOF' >> "$GH_AW_PROMPT" cat << 'GH_AW_PROMPT_EOF' >> "$GH_AW_PROMPT"
{{#runtime-import code-simplifier.md}} {{#runtime-import .github/workflows/code-simplifier.md}}
GH_AW_PROMPT_EOF GH_AW_PROMPT_EOF
- name: Interpolate variables and render templates - name: Interpolate variables and render templates
uses: actions/github-script@ed597411d8f924073f98dfc5c65a23a2325f34cd # v8 uses: actions/github-script@ed597411d8f924073f98dfc5c65a23a2325f34cd # v8

View file

@ -161,7 +161,7 @@ jobs:
</system> </system>
GH_AW_PROMPT_EOF GH_AW_PROMPT_EOF
cat << 'GH_AW_PROMPT_EOF' >> "$GH_AW_PROMPT" cat << 'GH_AW_PROMPT_EOF' >> "$GH_AW_PROMPT"
{{#runtime-import deeptest.md}} {{#runtime-import .github/workflows/deeptest.md}}
GH_AW_PROMPT_EOF GH_AW_PROMPT_EOF
- name: Interpolate variables and render templates - name: Interpolate variables and render templates
uses: actions/github-script@ed597411d8f924073f98dfc5c65a23a2325f34cd # v8 uses: actions/github-script@ed597411d8f924073f98dfc5c65a23a2325f34cd # v8

View file

@ -153,7 +153,7 @@ jobs:
</system> </system>
GH_AW_PROMPT_EOF GH_AW_PROMPT_EOF
cat << 'GH_AW_PROMPT_EOF' >> "$GH_AW_PROMPT" cat << 'GH_AW_PROMPT_EOF' >> "$GH_AW_PROMPT"
{{#runtime-import release-notes-updater.md}} {{#runtime-import .github/workflows/release-notes-updater.md}}
GH_AW_PROMPT_EOF GH_AW_PROMPT_EOF
- name: Interpolate variables and render templates - name: Interpolate variables and render templates
uses: actions/github-script@ed597411d8f924073f98dfc5c65a23a2325f34cd # v8 uses: actions/github-script@ed597411d8f924073f98dfc5c65a23a2325f34cd # v8

View file

@ -169,7 +169,7 @@ jobs:
</system> </system>
GH_AW_PROMPT_EOF GH_AW_PROMPT_EOF
cat << 'GH_AW_PROMPT_EOF' >> "$GH_AW_PROMPT" cat << 'GH_AW_PROMPT_EOF' >> "$GH_AW_PROMPT"
{{#runtime-import soundness-bug-detector.md}} {{#runtime-import .github/workflows/soundness-bug-detector.md}}
GH_AW_PROMPT_EOF GH_AW_PROMPT_EOF
- name: Interpolate variables and render templates - name: Interpolate variables and render templates
uses: actions/github-script@ed597411d8f924073f98dfc5c65a23a2325f34cd # v8 uses: actions/github-script@ed597411d8f924073f98dfc5c65a23a2325f34cd # v8

2
.github/workflows/specbot.lock.yml generated vendored
View file

@ -164,7 +164,7 @@ jobs:
</system> </system>
GH_AW_PROMPT_EOF GH_AW_PROMPT_EOF
cat << 'GH_AW_PROMPT_EOF' >> "$GH_AW_PROMPT" cat << 'GH_AW_PROMPT_EOF' >> "$GH_AW_PROMPT"
{{#runtime-import specbot.md}} {{#runtime-import .github/workflows/specbot.md}}
GH_AW_PROMPT_EOF GH_AW_PROMPT_EOF
- name: Interpolate variables and render templates - name: Interpolate variables and render templates
uses: actions/github-script@ed597411d8f924073f98dfc5c65a23a2325f34cd # v8 uses: actions/github-script@ed597411d8f924073f98dfc5c65a23a2325f34cd # v8

View file

@ -154,7 +154,7 @@ jobs:
</system> </system>
GH_AW_PROMPT_EOF GH_AW_PROMPT_EOF
cat << 'GH_AW_PROMPT_EOF' >> "$GH_AW_PROMPT" cat << 'GH_AW_PROMPT_EOF' >> "$GH_AW_PROMPT"
{{#runtime-import workflow-suggestion-agent.md}} {{#runtime-import .github/workflows/workflow-suggestion-agent.md}}
GH_AW_PROMPT_EOF GH_AW_PROMPT_EOF
- name: Interpolate variables and render templates - name: Interpolate variables and render templates
uses: actions/github-script@ed597411d8f924073f98dfc5c65a23a2325f34cd # v8 uses: actions/github-script@ed597411d8f924073f98dfc5c65a23a2325f34cd # v8