Merged with v0.7.3.

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

00:03:02

passed #998531
buildgui

00:04:40

 
  Test
passed #998532
linting

00:02:42

passed #998533
tests

00:09:12

76.0%
 
  Release
manual #998534
allowed to fail manual
release