pythonasyncioapiasyncfastapiframeworkjsonjson-schemaopenapiopenapi3pydanticpython-typespython3redocreststarletteswaggerswagger-uiuvicornweb
You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
22 lines
623 B
22 lines
623 B
name: "Conflict detector"
|
|
on:
|
|
push:
|
|
pull_request_target: # zizmor: ignore[dangerous-triggers]
|
|
types: [synchronize]
|
|
|
|
permissions: {}
|
|
|
|
jobs:
|
|
main:
|
|
permissions:
|
|
contents: read
|
|
pull-requests: write
|
|
runs-on: ubuntu-latest
|
|
timeout-minutes: 5
|
|
steps:
|
|
- name: Check if PRs have merge conflicts
|
|
uses: eps1lon/actions-label-merge-conflict@0273be72a0bbd58fcd71d0d6c02c209b50d1e5e1 # v3.1.0
|
|
with:
|
|
dirtyLabel: "conflicts"
|
|
repoToken: "${{ secrets.GITHUB_TOKEN }}"
|
|
commentOnDirty: "This pull request has a merge conflict that needs to be resolved."
|
|
|