Skip to content

search: non-alphabetical characters are not bolded in results even if there is a match #9255

search: non-alphabetical characters are not bolded in results even if there is a match

search: non-alphabetical characters are not bolded in results even if there is a match #9255

Triggered via issue September 10, 2024 11:52
Status Success
Total duration 16s
Artifacts
Sync issue priority to project board
6s
Sync issue priority to project board
Set status based on event
4s
Set status based on event
Add "needs triage" label
4s
Add "needs triage" label
Fit to window
Zoom out
Zoom in

Annotations

2 warnings
Add "needs triage" label
The following actions uses node12 which is deprecated and will be forced to run on node16: andymckay/labeler@e6c4322d0397f3240f0e7e30a33b5c5df2d39e90. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
Add "needs triage" label
The following actions use a deprecated Node.js version and will be forced to run on node20: andymckay/labeler@e6c4322d0397f3240f0e7e30a33b5c5df2d39e90. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/