Skip to content

Merge branch 'main' into main_docker_image #64

Merge branch 'main' into main_docker_image

Merge branch 'main' into main_docker_image #64

name: 'Check for merge conflicts'
on: [push]
jobs:
find_conflicts:
runs-on: ubuntu-22.04
steps:
- uses: mschilde/auto-label-merge-conflicts@master
with:
CONFLICT_LABEL_NAME: "has conflicts"
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
MAX_RETRIES: 5
WAIT_MS: 5000