Skip to content

Bump coverage from 7.3.1 to 7.3.2 #752

Bump coverage from 7.3.1 to 7.3.2

Bump coverage from 7.3.1 to 7.3.2 #752

Workflow file for this run

name: Force pull-requests label(s)
on:
pull_request:
types: [opened, labeled, unlabeled]
jobs:
pr-has-label:
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