Got rid of FilterContext: it is now encapsulated within FilterMenu.

12 jobs for search-integration in 30 minutes and 28 seconds (queued for 1 second)
Status Job ID Name Coverage
  Build
passed #1381696
build

00:11:35

 
  Prepare
passed #1381697
prepare

00:00:55

 
  Test
passed #1381703
dev setup tests

00:10:36

passed #1381699
gui linting

00:05:53

passed #1381701
gui tests

00:06:29

passed #1381702
install tests

00:06:24

passed #1381698
python linting

00:06:23

passed #1381700
python tests

00:17:57

81.0%
 
  Release
manual #1381704
allowed to fail manual
deploy dev
manual #1381707
allowed to fail manual
pypi package
manual #1381706
allowed to fail manual
python package
manual #1381705
allowed to fail manual
release latest image