Status Name Job Pipeline Stage Duration Coverage
passed proof-dev #22101
WS2021-clean-up
7a11453c
docker generic
#10419 by Andreas Werner's avatar proof

00:08:05

91.8%
passed proof #22100
WS2021-clean-up
7a11453c
docker generic
#10419 by Andreas Werner's avatar proof

00:01:21

91.8%
passed build #22099
WS2021-clean-up
7a11453c
docker generic
#10419 by Andreas Werner's avatar build

00:01:05

passed proof-dev #22098
WS2021-clean-up
78748b57
docker generic
#10418 by Andreas Werner's avatar proof

00:07:59

91.8%
passed proof #22097
WS2021-clean-up
78748b57
docker generic
#10418 by Andreas Werner's avatar proof

00:01:23

91.8%
passed build #22096
WS2021-clean-up
78748b57
docker generic
#10418 by Andreas Werner's avatar build

00:00:59

passed proof-dev #21957
master
78748b57
docker generic
#10280 by Andreas Werner's avatar proof

00:08:01

91.8%
passed proof #21956
master
78748b57
docker generic
#10280 by Andreas Werner's avatar proof

00:01:21

91.8%
passed build #21955
master
78748b57
docker generic
#10280 by Andreas Werner's avatar build

00:01:00

passed proof-dev #21808
master
aed12eaa
docker generic
#10258 by Andreas Werner's avatar proof

00:07:41

91.8%
passed proof #21807
master
aed12eaa
docker generic
#10258 by Andreas Werner's avatar proof

00:01:20

91.8%
passed build #21806
master
aed12eaa
docker generic
#10258 by Andreas Werner's avatar build

00:01:05

passed proof-dev #21045
16-clean-up-contoller-code
d7df11f7
docker generic
#10004 by Memduh Candir's avatar proof

00:02:15

91.8%
passed proof #21044
16-clean-up-contoller-code
d7df11f7
docker generic
#10004 by Memduh Candir's avatar proof

00:01:23

91.8%
passed build #21043
16-clean-up-contoller-code
d7df11f7
docker generic
#10004 by Memduh Candir's avatar build

00:00:43

passed proof-dev #20830
master
d7df11f7
generic docker
#9929 by Memduh Candir's avatar proof

00:01:45

91.8%
passed proof #20829
master
d7df11f7
generic docker
#9929 by Memduh Candir's avatar proof

00:01:22

91.8%
canceled proof-dev #20824
master
d7df11f7
docker generic
#9929 by Memduh Candir's avatar proof

00:00:01

canceled proof #20823
master
d7df11f7
docker generic
#9929 by Memduh Candir's avatar proof

00:00:01

passed build #20822
master
d7df11f7
docker generic
#9929 by Memduh Candir's avatar build

00:00:48

passed proof-dev #20346
master
79a3c27b
docker generic
#9812 by Andreas Werner's avatar proof

00:02:24

91.8%
passed proof #20345
master
79a3c27b
docker generic
#9812 by Andreas Werner's avatar proof

00:01:26

91.8%
passed build #20344
master
79a3c27b
docker generic
#9812 by Andreas Werner's avatar build

00:00:45

passed build #20281
master
7615bcae
generic docker
#9603 by Andreas Werner's avatar build

00:01:47

failed proof #19934
master
7615bcae
docker generic
#9603 by Andreas Werner's avatar proof

00:00:59

failed build #19933
master
7615bcae
docker generic
#9603 by Andreas Werner's avatar build

00:00:16

passed build #19740
master
72560b3b
generic docker
#9458 by Andreas Werner's avatar build

00:00:42

failed build #19739
master
72560b3b
generic docker
#9458 by Andreas Werner's avatar build

00:00:05

passed proof #19736
master
72560b3b
docker generic
#9458 by Andreas Werner's avatar proof

00:01:42

90.0%
failed build #19735
master
72560b3b
docker generic
#9458 by Andreas Werner's avatar build

00:00:05