Merged with v0.7.10.

5 jobs for encyclopedia in 21 minutes and 28 seconds (queued for 2 seconds)
Status Name Job ID Coverage
  Build
passed build #1031725

00:11:09

passed buildgui #1031726

00:03:53

 
  Test
passed linting #1031727

00:02:19

passed tests #1031728

00:10:18

77.0%
 
  Release
manual release #1031729
allowed to fail manual