merge_conflicts.yml

name: Merge conflicts

on:
  schedule:
    - cron: '*/15 * * * *' # run every 15 minutes
  workflow_dispatch:

jobs:
  main:
    runs-on: ubuntu-latest
    if: github.repository == 'leanprover-community/mathlib4'
    permissions:
      id-token: write
    steps:
      - name: Generate app token
        id: app-token
        # TODO: Replace this testing branch ref with a pinned mathlib-ci commit SHA.
        uses: leanprover-community/mathlib-ci/.github/actions/azure-create-github-app-token@3bb576208589a435eeaeac9b144a1b7c3e948760
        with:
          app-id: ${{ secrets.MATHLIB_MERGE_CONFLICTS_APP_ID }}
          key-vault-name: ${{ vars.MATHLIB_AZ_KEY_VAULT_NAME }}
          key-name: mathlib-merge-conflicts-app-pk
          azure-client-id: ${{ vars.GH_APP_AZURE_CLIENT_ID_LABEL_BOTS }}
          azure-tenant-id: ${{ secrets.LPC_AZ_TENANT_ID }}

      - name: check if prs are dirty
        uses: eps1lon/actions-label-merge-conflict@1df065ebe6e3310545d4f4c4e862e43bdca146f0 # v3.0.3
        with:
          dirtyLabel: "merge-conflict"
          commentOnDirty: "This pull request has conflicts, please merge `master` and resolve them."
          repoToken: ${{ steps.app-token.outputs.token }}