Updated Encyclopedia GUI.

8 jobs for enc_gui_update in 26 minutes and 31 seconds (queued for 3 seconds)
Status Name Job ID Coverage
  Build
passed build #1198849

00:13:37

 
  Test
passed dev_setup_tests #1198854

00:11:15

passed gui_linting #1198851

00:02:26

passed install_tests #1198853

00:08:33

passed linting #1198850

00:06:33

passed tests #1198852

00:12:53

78.0%
 
  Deploy
manual deploy #1198855
allowed to fail manual
 
  Release
manual release #1198856
allowed to fail manual