Many minor bugfixes. #342

7 jobs for v0.8.0-bugfixes in 8 minutes and 17 seconds (queued for 2 seconds)
Status Name Job ID Coverage
  Build
canceled build #1080415

00:08:17

 
  Test
canceled gui_linting #1080417

canceled install_tests #1080419

canceled linting #1080416

canceled tests #1080418

 
  Deploy
canceled deploy #1080420
allowed to fail manual

 
  Release
canceled release #1080421
allowed to fail manual