mirror of
https://github.com/Z3Prover/z3
synced 2025-06-25 15:23:41 +00:00
Create labeler.yml
This commit is contained in:
parent
423930dbad
commit
4584d1d78f
1 changed files with 20 additions and 0 deletions
20
.github/workflows/labeler.yml
vendored
Normal file
20
.github/workflows/labeler.yml
vendored
Normal file
|
@ -0,0 +1,20 @@
|
|||
name: genai issue labeller
|
||||
on:
|
||||
issues:
|
||||
types: [opened, reopened, edited]
|
||||
permissions:
|
||||
contents: read
|
||||
issues: write
|
||||
models: read
|
||||
concurrency:
|
||||
group: ${{ github.workflow }}-${{ github.event.issue.number }}
|
||||
cancel-in-progress: true
|
||||
jobs:
|
||||
genai-issue-labeller:
|
||||
runs-on: ubuntu-latest
|
||||
steps:
|
||||
- uses: actions/checkout@v4
|
||||
- uses: pelikhan/action-genai-issue-labeller@v0
|
||||
with:
|
||||
github_token: ${{ secrets.GITHUB_TOKEN }}
|
||||
github_issue: ${{ github.event.issue.number }}
|
Loading…
Add table
Add a link
Reference in a new issue