Skip to content
PHP Linting (Pint)

Ability to set custom user agent #26

Sign in to view logs

Ability to set custom user agent

Ability to set custom user agent #26

Triggered via push August 18, 2023 07:52
@chrisrhymeschrisrhymes
pushed 507c438
feature/custom-user-agent
Status Success
Total duration 26s
Artifacts –

pint.yml

on: push
phplint
15s
phplint
Fit to window
Zoom out
Zoom in