fixed ci

5 jobs for mohr in 3 minutes (queued for 5 seconds)
Status Name Job ID Coverage
  Test
passed unittests_debian_10 #433702

00:02:15

passed unittests_debian_latest #433703

00:02:12

passed unittests_ubuntu_1804 #433704

00:01:59

passed unittests_ubuntu_2004 #433705

00:01:57

 
  Deploy
passed make-docs #433706

00:00:44