Linting.

5 jobs for v0.7.2 in 16 minutes and 17 seconds (queued for 3 seconds)
Status Name Job ID Coverage
  Build
passed build #996902

00:07:20

passed buildgui #996903

00:03:49

 
  Test
passed linting #996904

00:01:53

passed tests #996905

00:08:34

77.0%
 
  Release
passed release #996906
manual

00:00:22