[gui] Add filtering option

3 jobs for master in 13 minutes and 12 seconds (queued for 2 seconds)
Status Job ID Name Coverage
  Build
failed #155984
docker
build_linux_36

00:13:12

failed #155985
macosx
build_macosx_36

00:11:26

 
  Deploy
skipped #155986
docker
deploy_beta
 
Name Stage Failure
failed
build_macosx_36 Build
building [mo]: all of 0 po files
building [html]: all source files
updating environment: 3 added, 0 changed, 0 removed
reading sources... [ 33%] api
reading sources... [ 66%] guide
reading sources... [100%] index

TESTS FAILED: bob.ip.annotator-1.0.0a0-py36h707cd36_2.tar.bz2
ERROR: Job failed: exit status 1
failed
build_linux_36 Build
building [mo]: all of 0 po files
building [html]: all source files
updating environment: 3 added, 0 changed, 0 removed
reading sources... [ 33%] api
reading sources... [ 66%] guide
reading sources... [100%] index

TESTS FAILED: bob.ip.annotator-1.0.0a0-py36h707cd36_3.tar.bz2
ERROR: Job failed: exit code 1