Merge branch 'v0.8.0' into encyclopedia

7 jobs for encyclopedia in 36 minutes and 30 seconds (queued for 3 seconds)
Status Name Job ID Coverage
  Build
passed build #1073442

00:26:45

failed build #1073436

00:02:22

 
  Test
passed gui_linting #1073438

00:01:36

passed linting #1073437

00:05:14

passed tests #1073439

00:09:45

78.0%
 
  Deploy
manual deploy #1073440
allowed to fail manual
 
  Release
manual release #1073441
allowed to fail manual