mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-09-29 20:59:01 +00:00
Code Activity

Bump actions/github-script from 7 to 8 (#7882)

Browse source 
Bumps [actions/github-script](https://github.com/actions/github-script) from 7 to 8.
- [Release notes](https://github.com/actions/github-script/releases)
- [Commits](https://github.com/actions/github-script/compare/v7...v8)

---
updated-dependencies:
- dependency-name: actions/github-script
  dependency-version: '8'
  dependency-type: direct:production
  update-type: version-update:semver-major
...

Signed-off-by: dependabot[bot] <support@github.com>
Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>
This commit is contained in:
dependabot[bot] 2025-09-15 16:40:27 -07:00 • committed by GitHub
parent 7d6ff3fae4
commit 96996bf9ec
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
2 changed files with 17 additions and 17 deletions
Download patch file Download diff file Expand all files Collapse all files

16
.github/workflows/daily-perf-improver.lock.yml generated vendored
View file

@ -47,7 +47,7 @@ jobs:
echo "Git configured with standard GitHub Actions identity"
- name: Setup agent output
id: setup_agent_output
uses: actions/github-script@v7
uses: actions/github-script@v8
with:
script: |
function main() {
@ -360,7 +360,7 @@ jobs:
env:
GITHUB_AW_PROMPT: /tmp/aw-prompts/prompt.txt
- name: Generate agentic run info
uses: actions/github-script@v7
uses: actions/github-script@v8
with:
script: |
const fs = require('fs');
@ -513,7 +513,7 @@ jobs:
if-no-files-found: warn
- name: Ingest agent output
id: collect_output
uses: actions/github-script@v7
uses: actions/github-script@v8
env:
GITHUB_AW_SAFE_OUTPUTS: ${{ env.GITHUB_AW_SAFE_OUTPUTS }}
GITHUB_AW_SAFE_OUTPUTS_CONFIG: "{\"add-issue-comment\":{\"enabled\":true,\"target\":\"*\"},\"create-issue\":true,\"create-pull-request\":true}"
@ -1322,7 +1322,7 @@ jobs:
rm -f output.txt
- name: Parse agent logs for step summary
if: always()
uses: actions/github-script@v7
uses: actions/github-script@v8
env:
GITHUB_AW_AGENT_OUTPUT: /tmp/daily-perf-improver.log
with:
@ -1946,7 +1946,7 @@ jobs:
steps:
- name: Check team membership for workflow
id: check-team-member
uses: actions/github-script@v7
uses: actions/github-script@v8
env:
GITHUB_AW_REQUIRED_ROLES: admin,maintainer
with:
@ -2033,7 +2033,7 @@ jobs:
await main();
- name: Create Output Issue
id: create_issue
uses: actions/github-script@v7
uses: actions/github-script@v8
env:
GITHUB_AW_AGENT_OUTPUT: ${{ needs.daily-perf-improver.outputs.output }}
GITHUB_AW_ISSUE_TITLE_PREFIX: "${{ github.workflow }}"
@ -2233,7 +2233,7 @@ jobs:
steps:
- name: Add Issue Comment
id: create_comment
uses: actions/github-script@v7
uses: actions/github-script@v8
env:
GITHUB_AW_AGENT_OUTPUT: ${{ needs.daily-perf-improver.outputs.output }}
GITHUB_AW_COMMENT_TARGET: "*"
@ -2453,7 +2453,7 @@ jobs:
echo "Git configured with standard GitHub Actions identity"
- name: Create Pull Request
id: create_pull_request
uses: actions/github-script@v7
uses: actions/github-script@v8
env:
GITHUB_AW_AGENT_OUTPUT: ${{ needs.daily-perf-improver.outputs.output }}
GITHUB_AW_WORKFLOW_ID: "daily-perf-improver"

18
.github/workflows/daily-test-improver.lock.yml generated vendored
View file

@ -47,7 +47,7 @@ jobs:
echo "Git configured with standard GitHub Actions identity"
- name: Setup agent output
id: setup_agent_output
uses: actions/github-script@v7
uses: actions/github-script@v8
with:
script: |
function main() {
@ -339,7 +339,7 @@ jobs:
env:
GITHUB_AW_PROMPT: /tmp/aw-prompts/prompt.txt
- name: Generate agentic run info
uses: actions/github-script@v7
uses: actions/github-script@v8
with:
script: |
const fs = require('fs');
@ -492,7 +492,7 @@ jobs:
if-no-files-found: warn
- name: Ingest agent output
id: collect_output
uses: actions/github-script@v7
uses: actions/github-script@v8
env:
GITHUB_AW_SAFE_OUTPUTS: ${{ env.GITHUB_AW_SAFE_OUTPUTS }}
GITHUB_AW_SAFE_OUTPUTS_CONFIG: "{\"add-issue-comment\":{\"enabled\":true,\"target\":\"*\"},\"create-issue\":true,\"create-pull-request\":true,\"update-issue\":true}"
@ -1301,7 +1301,7 @@ jobs:
rm -f output.txt
- name: Parse agent logs for step summary
if: always()
uses: actions/github-script@v7
uses: actions/github-script@v8
env:
GITHUB_AW_AGENT_OUTPUT: /tmp/daily-test-coverage-improver.log
with:
@ -1925,7 +1925,7 @@ jobs:
steps:
- name: Check team membership for workflow
id: check-team-member
uses: actions/github-script@v7
uses: actions/github-script@v8
env:
GITHUB_AW_REQUIRED_ROLES: admin,maintainer
with:
@ -2012,7 +2012,7 @@ jobs:
await main();
- name: Create Output Issue
id: create_issue
uses: actions/github-script@v7
uses: actions/github-script@v8
env:
GITHUB_AW_AGENT_OUTPUT: ${{ needs.daily-test-coverage-improver.outputs.output }}
GITHUB_AW_ISSUE_TITLE_PREFIX: "${{ github.workflow }}"
@ -2212,7 +2212,7 @@ jobs:
steps:
- name: Add Issue Comment
id: create_comment
uses: actions/github-script@v7
uses: actions/github-script@v8
env:
GITHUB_AW_AGENT_OUTPUT: ${{ needs.daily-test-coverage-improver.outputs.output }}
GITHUB_AW_COMMENT_TARGET: "*"
@ -2432,7 +2432,7 @@ jobs:
echo "Git configured with standard GitHub Actions identity"
- name: Create Pull Request
id: create_pull_request
uses: actions/github-script@v7
uses: actions/github-script@v8
env:
GITHUB_AW_AGENT_OUTPUT: ${{ needs.daily-test-coverage-improver.outputs.output }}
GITHUB_AW_WORKFLOW_ID: "daily-test-coverage-improver"
@ -2753,7 +2753,7 @@ jobs:
steps:
- name: Update Issue
id: update_issue
uses: actions/github-script@v7
uses: actions/github-script@v8
env:
GITHUB_AW_AGENT_OUTPUT: ${{ needs.daily-test-coverage-improver.outputs.output }}
GITHUB_AW_UPDATE_STATUS: false