Status Job Pipeline Stage Name Timing Coverage
failed #1546
master
1dc42e05
#258 by Michael Hanus 's avatar build build

failed #1543
notypeclasses
2d655d48
#257 by Michael Hanus 's avatar build build