Fixed some issues in the developer setup process.

11 jobs for bugfixes-dev-setup in 21 minutes and 48 seconds (queued for 1 second)
Status Job ID Name Coverage
  Build
passed #1272774
build

00:09:18

 
  Test
passed #1272780
dev setup tests

00:07:23

passed #1272776
gui linting

00:01:56

passed #1272778
gui tests

00:01:55

passed #1272779
install tests

00:04:56

passed #1272775
python linting

00:05:50

passed #1272777
python tests

00:12:29

75.0%
 
  Release
manual #1272781
allowed to fail manual
deploy dev
manual #1272782
allowed to fail manual
deploy prod beta
manual #1272784
allowed to fail manual
python package
manual #1272783
allowed to fail manual
release latest image