Merge branch 'master' of gitlab.aei.uni-hannover.de:finesse/pykat

2 jobs for master in 21 seconds (queued for 3 seconds)
Status Name Job ID Coverage
  Test
passed python_2 #343

00:00:21

passed python_3 #342

00:00:21