merge_conflicts.yml

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 }}"