Status Job Pipeline Stage Name Timing Coverage
failed #1609
master
9579abe5
#279 by Michael Hanus 's avatar build build

failed #1606
notypeclasses
d5a5fcf4
#278 by Michael Hanus 's avatar build build