Removing sphinx_markdown_builder pip dependency from our documentatio… #1188
Workflow file for this run
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
name: Label merge conflicts | |
# Controls when the action will run. Triggers the workflow on push to repo | |
# branches. | |
# (It shouldn't run on pull requests, as it won't have the right credentials | |
# to edit labels on other PRs.) | |
on: push | |
# A workflow run is made up of one or more jobs that can run sequentially or in parallel | |
jobs: | |
triage: | |
runs-on: ubuntu-latest | |
steps: | |
- uses: eps1lon/[email protected] | |
with: | |
# Token for the repository. Can be passed in using {{ secrets.GITHUB_TOKEN }} | |
repoToken: ${{ secrets.GITHUB_TOKEN }} | |
# Name of the label which indicates that the branch is dirty | |
dirtyLabel: 'conflicts' | |
# Number of seconds after which the action runs again if the mergable state is unknown. | |
retryAfter: 60 | |
# Number of times the action retries calculating the mergable state | |
retryMax: 5 | |
# String. Comment to add when the pull request is conflicting. Supports markdown. | |
commentOnDirty: 'Merge conflicts have been detected on this PR, please resolve.' | |