Skip to content

Set development mode to 'plugin' in the dev environment and allow pages to be optimized when admin is logged-in (when in plugin dev mode) #9055

Set development mode to 'plugin' in the dev environment and allow pages to be optimized when admin is logged-in (when in plugin dev mode)

Set development mode to 'plugin' in the dev environment and allow pages to be optimized when admin is logged-in (when in plugin dev mode) #9055

Workflow file for this run

name: Pull Request Validation
on:
pull_request:
branches:
- trunk
- 'release/**'
- 'feature/**'
types:
- labeled
- unlabeled
- opened
- reopened
- synchronize
- edited
env:
LABELS: ${{ join( github.event.pull_request.labels.*.name, ' ' ) }}
jobs:
check-type-label:
name: Check [Type] Label
runs-on: ubuntu-latest
steps:
- if: contains( env.LABELS, '[Type]' ) == false
run: exit 1
check-milestone:
name: Check Milestone
runs-on: ubuntu-latest
steps:
- if: github.event.pull_request.milestone == null && contains( env.LABELS, 'no milestone' ) == false
run: exit 1