Highlight search results: treat each word separately and ignore case #867

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
lint	11s
pytest (macos-latest, 3.10)	3m 57s
pytest (windows-latest, 3.11)	9m 39s
pytest (ubuntu-22.04, 3.9)	6m 13s
pytest (ubuntu-latest, 3.12)	6m 7s
	26m 7s