Skip to content

[core] Fix CI with fake docs #297

[core] Fix CI with fake docs

[core] Fix CI with fake docs #297

Workflow file for this run

name: Maintenance
on:
# So that PRs touching the same files as the push are updated
push:
branches:
- master
- next
# So that the `dirtyLabel` is removed if conflicts are resolved
# Could put too much strain on rate limit
# If we hit the rate limit too often remove this event
pull_request_target:
branches:
- master
- next
types: [synchronize]
permissions: {}
jobs:
main:
# l10nbot creates a lot of commits at once which starves CI.
# We rely on other pushes to mark these branches as outdated.
if: ${{ github.actor != 'l10nbot' }}
runs-on: ubuntu-latest
permissions:
contents: read
pull-requests: write
steps:
- run: echo "${{ github.actor }}"
- name: check if prs are dirty
uses: eps1lon/actions-label-merge-conflict@fd1f295ee7443d13745804bc49fe158e240f6c6e # v2.1.0
with:
dirtyLabel: 'PR: out-of-date'
removeOnDirtyLabel: 'PR: ready to ship'
repoToken: '${{ secrets.GITHUB_TOKEN }}'
retryAfter: 130
retryMax: 10