Improved search annotations.

12 jobs for section-results in 24 minutes and 14 seconds (queued for 1 second)
Status Job ID Name Coverage
  Build
passed #1286630
build

00:11:08

 
  Test
passed #1286636
dev setup tests

00:08:07

passed #1286632
gui linting

00:02:59

passed #1286634
gui tests

00:02:55

passed #1286635
install tests

00:05:49

passed #1286631
python linting

00:06:09

passed #1286633
python tests

00:13:06

77.0%
 
  Release
manual #1286637
allowed to fail manual
deploy dev
manual #1286638
allowed to fail manual
deploy prod beta
manual #1286639
allowed to fail manual
deploy prod test
manual #1286641
allowed to fail manual
python package
manual #1286640
allowed to fail manual
release latest image