reload also in case of server error #3172

Sign in to view logs

Triggered via pull request August 9, 2023 08:08

szaimen

synchronize #3027

enh/noid/reload-server-error

Status Success

Total duration 36s

Artifacts –

lint-php.yml

on: pull_request

Matrix: php-lint

php-lint-summary