Skip to content

feat: Move search highlighting to editor API #4163

feat: Move search highlighting to editor API

feat: Move search highlighting to editor API #4163

Triggered via pull request August 11, 2024 16:30
Status Success
Total duration 1m 20s
Artifacts

phpunit-oci.yml

on: pull_request
Matrix: phpunit-oci
phpunit-oci-summary
5s
phpunit-oci-summary
Fit to window
Zoom out
Zoom in