Run CI

chore: add query filter to search history tool #537

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Run Linting	12s
Run mypy	27s
Run Tests	21s
Check License Headers	8s
	1m 8s