Skip to content
lint php documentation

Typehints for getHeaderMargin() and setHeaderMargin() are inconsistent #418

Sign in to view logs

Typehints for getHeaderMargin() and setHeaderMargin() are inconsistent

Typehints for getHeaderMargin() and setHeaderMargin() are inconsistent #418

Triggered via pull request September 6, 2023 08:31
@fisharebestfisharebest
synchronize #598
fisharebest:main
Status Cancelled
Total duration 29s
Artifacts –

lint-docs.yml

on: pull_request
lint-docs
15s
lint-docs
Fit to window
Zoom out
Zoom in