Merge branch 'main' into chore/label-enhancements

This commit is contained in:
Jiralite 2024-06-09 12:38:17 +01:00 committed by GitHub
commit 6142394a43
No known key found for this signature in database
GPG key ID: B5690EEEBB952194

View file

@ -7,19 +7,22 @@ on:
- reopened
- synchronize
jobs:
pr-triage:
name: PR Triage
label:
name: Label
if: github.event.action != 'edited'
runs-on: ubuntu-latest
steps:
- name: Automatically label PR
- name: Label pull request
uses: actions/labeler@v5
if: github.event.action != 'edited'
with:
repo-token: '${{ secrets.GITHUB_TOKEN }}'
sync-labels: true
- name: Validate commit convention
if: github.event.action != 'synchronize'
validate-title:
name: Validate title
if: github.event.action != 'synchronize'
runs-on: ubuntu-latest
steps:
- name: Validate pull request title
run: |
TITLE="${{ github.event.pull_request.title }}"
REGEX="^(revert: )?(feat|fix|docs|style|refactor|perf|test|workflow|build|ci|chore|types|wip)(\\(.+\\))?: .{1,72}$"