Skip to content
PHP Lints

Get rid of redundant array_key_exists #630

Sign in to view logs

Get rid of redundant array_key_exists

Get rid of redundant array_key_exists #630

Triggered via push November 15, 2024 17:07
@oschwaldoschwald
pushed 99c623b
greg/release
Status Success
Total duration 31s
Artifacts –

lint.yml

on: push
PHP Lints
19s
PHP Lints
Fit to window
Zoom out
Zoom in