3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-09-05 01:27:41 +00:00

Rename labeler.yml to labeller.yml

fix spelling error
This commit is contained in:
Nikolaj Bjorner 2025-06-13 10:51:04 -07:00 committed by GitHub
parent 638921457d
commit 7b432ae608
No known key found for this signature in database
GPG key ID: B5690EEEBB952194

21
.github/workflows/labeller.yml vendored Normal file
View file

@ -0,0 +1,21 @@
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 }}
debug: "*"