Skip to content

feat(search): Implement "person" and "modified" filters for the new g… #9372

feat(search): Implement "person" and "modified" filters for the new g…

feat(search): Implement "person" and "modified" filters for the new g… #9372

Triggered via pull request November 15, 2023 15:43
Status Success
Total duration 2m 58s
Artifacts
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

lint-php.yml

on: pull_request
Matrix: php-lint
php-lint-summary
4s
php-lint-summary
Fit to window
Zoom out
Zoom in