Merged with v0.7.3.

5 jobs for prototypes in 13 minutes and 54 seconds (queued for 2 seconds)
Status Name Job ID Coverage
  Build
passed build #998530

00:03:02

passed buildgui #998531

00:04:40

 
  Test
passed linting #998532

00:02:42

passed tests #998533

00:09:12

76.0%
 
  Release
manual release #998534
allowed to fail manual