Skip to content
lint php documentation

Typehints for getHeaderMargin() and setHeaderMargin() are inconsisten… #419

Sign in to view logs

Typehints for getHeaderMargin() and setHeaderMargin() are inconsisten…

Typehints for getHeaderMargin() and setHeaderMargin() are inconsisten… #419

Triggered via push September 6, 2023 08:32
@nicolaasuninicolaasuni
pushed 18d1b2b
main
Status Cancelled
Total duration 23s
Artifacts –

lint-docs.yml

on: push
lint-docs
0s
lint-docs
Fit to window
Zoom out
Zoom in

Annotations

1 error
lint-docs
The run was canceled by @nicolaasuni.