Skip to content

feat: Move search highlighting to editor API #4173

feat: Move search highlighting to editor API

feat: Move search highlighting to editor API #4173

Triggered via pull request August 13, 2024 13:31
Status Success
Total duration 1m 58s
Artifacts

phpunit-pgsql.yml

on: pull_request
Matrix: phpunit-pgsql
phpunit-pgsql-summary
7s
phpunit-pgsql-summary
Fit to window
Zoom out
Zoom in