mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-06-26 07:43:41 +00:00
Code Activity

Update prd.yml

Browse source
This commit is contained in:
Nikolaj Bjorner 2025-06-17 17:03:24 -07:00 • committed by GitHub
parent 8f88bf9998
commit f81d9735e9
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
1 changed files with 16 additions and 22 deletions
Download patch file Download diff file Expand all files Collapse all files

38
.github/workflows/prd.yml vendored
View file

@ -1,25 +1,19 @@
name: genai pull request description name: GenAI Pull Request Descriptor
on: on:
pull_request: pull_request:
types: [ready_for_review, review_requested, openend] types: [opened, reopened, ready_for_review]
concurrency:
group: genai-pr-review-${{ github.workflow }}-${{ github.ref }}
cancel-in-progress: true
permissions: permissions:
contents: read # permission to read the repository contents: read
pull-requests: write # permission to write a comment pull-requests: write
models: read # permission to use github models models: read
concurrency:
group: ${{ github.workflow }}-${{ github.ref }}
cancel-in-progress: true
jobs: jobs:
describe: generate-pull-request-description:
runs-on: ubuntu-latest runs-on: ubuntu-latest
steps: steps:
- uses: actions/checkout@v4 - uses: actions/checkout@v4
- uses: actions/setup-node@v4 - uses: pelikhan/action-genai-pull-request-descriptor@v0
with: with:
node-version: "22" github_token: ${{ secrets.GITHUB_TOKEN }}
- name: fetch base branch
run: git fetch origin ${{ github.event.pull_request.base.ref }}
- name: genaiscript prd
run: npx --yes genaiscript run prd --vars base=origin/${{ github.event.pull_request.base.ref }} --pull-request-description --out-trace $GITHUB_STEP_SUMMARY
env:
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}