Skip to content

chore(doc): update issue address in README #4657

chore(doc): update issue address in README

chore(doc): update issue address in README #4657

Workflow file for this run

name: PR Lint
on:
pull_request:
types:
- opened
- edited
- reopened
- synchronize
- labeled
- unlabeled
jobs:
main:
name: Validate PR
runs-on: ubuntu-latest
steps:
- uses: amannn/[email protected]
env:
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
with:
types: |
feat
fix
chore
docs
deps
test
refactor
ci
requireScope: true
# Do not allow starting with uppercase for subject part
subjectPattern: ^(?![A-Z]).+$
headerPatternCorrespondence: type, scope, subject
- name: Check PR title length
env:
TITLE: ${{ github.event.pull_request.title }}
run: |
title_length=${#TITLE}
if [ $title_length -gt 72 ]
then
echo "PR title is too long (greater than 72 characters)"
exit 1
fi
- name: Check PR labels
env:
LABEL_NAMES: ${{ toJson(github.event.pull_request.labels.*.name) }}
if: contains(env.LABEL_NAMES, 'under review') == contains(env.LABEL_NAMES, 'in progress')
run: |
echo "PR must have "exactly one" of these labels: ['under review', 'in progress']."
exit 1