Added label as extra search key to gui.

5 jobs for v0.7.5 in 20 minutes and 51 seconds (queued for 1 second)
Status Job ID Name Coverage
  Build
passed #1002587
build

00:07:25

passed #1002588
buildgui

00:05:55

 
  Test
passed #1002589
linting

00:02:30

passed #1002590
tests

00:13:07

76.0%
 
  Release
passed #1002591
manual
release

00:00:18