Skip to content

Merge conflicts

Merge conflicts #10854

name: Merge conflicts
on:
schedule:
- cron: '*/60 * * * *' # run every 60 minutes
jobs:
main:
if: github.repository_owner == 'leanprover-community'
runs-on: ubuntu-latest
steps:
- name: check if prs are dirty
uses: eps1lon/actions-label-merge-conflict@releases/2.x
with:
dirtyLabel: "merge-conflict"
repoToken: "${{ secrets.MERGE_CONFLICTS_TOKEN }}"