Lint PHP documentation

Add missing permissions to GitHub workflows #1131

Sign in to view logs

Triggered via push April 1, 2026 15:49

williamdes

5.11.x

Status Success

Total duration 19s

Artifacts –

lint-docs.yml

on: push