Lint php

Fix(LeftSidebar): Show hint when no filtered results #8901

Sign in to view logs

Triggered via pull request October 17, 2023 07:20

DorraJaouad

synchronize #10679

fix/noid/show-hint-when-no-matches-found

Status Success

Total duration 2m 16s

Artifacts –

lint-php.yml

on: pull_request

Matrix: php-lint

php-lint-summary