Merge branch '45-extract-dots'

8 jobs for v0.6.3 in 5 minutes and 48 seconds (queued for 2 seconds)
latest
Status Job ID Name Coverage
  Build
passed #25287
gui shared-linux
build docs

00:00:54

passed #25288
gui shared-linux
build linux installer

00:00:16

passed #25289
gui shared-mac
build mac installer

00:00:27

passed #25290
gui shared-win
build windows installer

00:01:41

 
  Test
passed #25291
gui shared-linux
test Linux

00:00:56

94.0%
passed #25292
gui shared-mac
test macOS

00:01:53

passed #25293
gui shared-win
test Windows

00:04:03

 
  Deploy
manual #25294
pip-production allowed to fail manual
deploy pip to production