Skip to content

Add a pipe so that images are not concatenated #1860

Add a pipe so that images are not concatenated

Add a pipe so that images are not concatenated #1860

Workflow file for this run

name: Force pull-requests label(s)
on:
pull_request:
types: [opened, labeled, unlabeled]
jobs:
wait-triage:
runs-on: ubuntu-latest
if: github.event.action == 'opened'
steps:
- name: Wait for auto-labeler
run: sleep 10s
shell: bash
pr-has-label:
needs: wait-triage
name: Will be skipped if labelled
runs-on: ubuntu-latest
if: ${{ join(github.event.pull_request.labels.*.name, ', ') == '' }}
steps:
- run: |
echo 'Pull-request must have at least one label'
exit 1