Status Name Job Pipeline Stage Duration Coverage
failed build #1891
master
17b6c3ec
#373 by Michael Hanus 's avatar build

failed build #1888
notypeclasses
da1e4a76
#372 by Michael Hanus 's avatar build