Skip to content

GitLab

K
KWARC
Status Job Pipeline Stage Name Timing Coverage
skipped #288
master
30f3549d
allowed to fail
#442 by Michael Kohlhase's avatar test code_quality
skipped #287
master
30f3549d
#442 by Michael Kohlhase's avatar test test
failed #286
master
30f3549d
#442 by Michael Kohlhase's avatar build build

00:00:02