Skip to content

Enhance HTTP Request Methods in Request.php #800

Enhance HTTP Request Methods in Request.php

Enhance HTTP Request Methods in Request.php #800

Workflow file for this run

name: Label based on PR size
on:
pull_request:
pull_request_target:
workflow_dispatch:
jobs:
size-label:
permissions: write-all
runs-on: ubuntu-latest
steps:
- name: size-label
if: >-
(
github.event_name == 'pull_request' &&
github.event.pull_request.head.repo.full_name == github.repository
) || (
github.event_name == 'pull_request_target' &&
github.event.pull_request.head.repo.full_name != github.repository
) || (
github.event_name == 'workflow_dispatch'
)
uses: 'pascalgn/[email protected]'
env:
GITHUB_TOKEN: '${{ secrets.GITHUB_TOKEN }}'