Status Job Pipeline Stage Name Coverage
passed #35358
master
5a02237f
#16655 by Camil Staps's avatar test test

00:00:34

passed #35357
master
7fe2f1b1
#16654 by Camil Staps's avatar test test

00:00:45

passed #35356
inf-real
d842d681
#16653 by Camil Staps's avatar test test

00:00:34

passed #35355
master
4143ae87
#16652 by Camil Staps's avatar test test

00:00:41

failed #35354
inf-real
45ad37d8
#16651 by Mart Lubbers's avatar test test

00:00:51

passed #25887
master
0ab4a7cc
#13969 by Steffen Michels's avatar test test

00:00:41

passed #24560
master
cb445335
#13448 by Bas Lijnse's avatar test test

00:00:44

passed #24092
master
fcdfee82
#13240 by Camil Staps's avatar test test

00:00:32

passed #24088
master
e533fa33
#13236 by Bas Lijnse's avatar test test

00:00:42

passed #23701
14-ggen-string-only-generates-string-up-to-80-chars
1bcb57fb
#13136 by Mart Lubbers's avatar test test

00:00:37

passed #23700
14-ggen-string-only-generates-string-up-to-80-chars
a6089b89
#13135 by Mart Lubbers's avatar test test

00:00:36

passed #23699
14-ggen-string-only-generates-string-up-to-80-chars
83f28313
#13134 by Mart Lubbers's avatar test test

00:00:40

passed #23698
14-ggen-string-only-generates-string-up-to-80-chars
5fb78ab6
#13133 by Mart Lubbers's avatar test test

00:00:47

passed #23413
master
5fb78ab6
#12804 by Camil Staps's avatar test test

00:00:40

passed #23411
bentDataGeneration
8f5db157
#13023 by Steffen Michels's avatar test test

00:00:55

failed #22880
master
5fb78ab6
#12804 by Camil Staps's avatar test test

00:00:29

failed #22877
fflush
6b558c56
#12801 by Steffen Michels's avatar test test

00:00:38

passed #22527
master
1b4dc990
#12597 by Camil Staps's avatar test test

00:00:34

failed #22526
master
bc45a349
#12589 by Camil Staps's avatar test test

00:00:30

failed #22517
master
bc45a349
#12589 by Camil Staps's avatar test test

00:00:31

failed #22512
clean-test-19
9fa79073
#12584 by Camil Staps's avatar test test

00:00:27

failed #22505
clean-test-19
4ed0f0c9
#12577 by Camil Staps's avatar test test

00:00:30

passed #22390
master
c394c76d
#12486 by Steffen Michels's avatar test test

00:00:36

passed #22389
testConfSM_return_counterexample
522e7d4f
#12485 by Markus Klinik's avatar test test

00:00:40

passed #22212
master
70e5efc4
#12358 by Steffen Michels's avatar test test

00:00:32

passed #22211
nameInfix
6bf8e58a
#12357 by Steffen Michels's avatar test test

00:00:33

passed #22208
nameInfix
14fc4ffe
#12355 by Steffen Michels's avatar test test

00:00:38

passed #21440
master
d602eccf
#11964 by Bas Lijnse's avatar test test

00:00:37

passed #21427
master
99a281a5
#11954 by Camil Staps's avatar test test

00:00:33

passed #21425
inequalitiesReportingArguments
42a69bee
#11952 by Steffen Michels's avatar test test

00:00:34