Skip to content

Fix laggy map when using synchronous GeoJSON source [Core fix] #98

Fix laggy map when using synchronous GeoJSON source [Core fix]

Fix laggy map when using synchronous GeoJSON source [Core fix] #98

name: Validate PR title
on:
pull_request:
types: [labeled, unlabeled, opened, edited]
jobs:
validate-tags-match-title:
runs-on: ubuntu-latest
steps:
- name: Checkout
uses: actions/checkout@v6
- uses: actions/setup-node@6044e13b5dc448c55e2357c09f80417699197238 # v4
with:
node-version-file: ".nvmrc"
- name: Check if labels match PR title
env:
PR_TITLE: ${{ github.event.pull_request.title }}
PR_LABELS: ${{ join(github.event.pull_request.labels.*.name, ',') }}
run: node .github/scripts/validate-pr-title.ts