Edit developer documentation

13 jobs for v0.10.8_dev_documentation in 21 minutes and 43 seconds (queued for 7 seconds)
Status Name Job ID Coverage
  Build
passed build #1421961

00:07:48

 
  Test
passed dev setup tests #1421967

00:11:23

passed gui linting #1421963

00:03:39

passed gui tests #1421965

00:03:42

passed install tests #1421966

00:06:45

passed python linting #1421962

00:06:38

passed python tests #1421964

00:13:54

80.0%
 
  Release
manual deploy dev #1421968
allowed to fail manual
manual deploy prod beta #1421969
allowed to fail manual
manual deploy prod test #1421970
allowed to fail manual
manual pypi package #1421973
allowed to fail manual
manual python package #1421972
allowed to fail manual
manual release latest image #1421971
allowed to fail manual