Status Name Job Pipeline Stage Duration Coverage
canceled Test #8828
master
b4d4d0a0
ci-test
#5879 by Raul Sirel's avatar test

00:13:04

passed BuildWorker #8500
1.11.2
d757d4e9
docker
#5726 by Wael Ramadan's avatar build-worker

00:13:33

passed Build #8499
1.11.2
d757d4e9
ci-test
#5726 by Wael Ramadan's avatar build

00:01:24

passed Test #8498
1.11.2
d757d4e9
ci-test
#5726 by Wael Ramadan's avatar test

00:18:50

canceled Test #8497
master
de731cee
ci-test
#5725 by Wael Ramadan's avatar test

00:02:49

canceled Test #8496
master
dd616870
ci-test
#5724 by Wael Ramadan's avatar test

00:00:53

canceled Test #8495
master
d757d4e9
ci-test
#5723 by Wael Ramadan's avatar test

00:06:55

passed Test #8482
master
7c142123
ci-test
#5715 by Wael Ramadan's avatar test

00:21:42

passed Test #8480
improve_error_handling
27c1b48a
ci-test
#5713 by Wael Ramadan's avatar test

00:35:23

passed Test #8476
improve_error_handling
4eb8d9bc
ci-test
#5700 by Wael Ramadan's avatar test

00:20:08

failed Test #8442
improve_error_handling
4eb8d9bc
ci-test
#5700 by Wael Ramadan's avatar test

00:07:03

failed Test #8441
improve_error_handling
31052a9d
ci-test
#5699 by Wael Ramadan's avatar test

00:06:22

passed Test #8439
improve_error_handling
add7d452
ci-test
#5697 by Wael Ramadan's avatar test

00:17:22

failed Test #8438
improve_error_handling
6b4ddb78
ci-test
#5696 by Wael Ramadan's avatar test

00:18:45

passed Test #8437
improve_error_handling
0def44e5
ci-test
#5695 by Wael Ramadan's avatar test

00:17:33

passed Test #8388
improve_error_handling
24e0001d
ci-test
#5673 by Wael Ramadan's avatar test

00:30:27

passed Test #8387
improve_error_handling
c6741ed0
ci-test
#5672 by Wael Ramadan's avatar test

00:32:24

passed Test #8218
master
2f8dba52
ci-test
#5590 by Raul Sirel's avatar test

00:14:54

passed Test #8210
remove_empty_lemmas_value
ba61335e
ci-test
#5584 by Marko Kollo's avatar test

00:29:23

passed BuildWorker #8111
1.11.1
99e2e636
docker
#5528 by Raul Sirel's avatar build-worker

00:13:34

passed Build #8110
1.11.1
99e2e636
ci-test
#5528 by Raul Sirel's avatar build

00:01:22

passed Test #8109
1.11.1
99e2e636
ci-test
#5528 by Raul Sirel's avatar test

00:15:35

passed Test #8107
master
99e2e636
ci-test
#5526 by Raul Sirel's avatar test

00:17:18

failed Test #8106
master
41baba79
ci-test
#5522 by Raul Sirel's avatar test

00:03:38

failed Test #8102
master
41baba79
ci-test
#5522 by Raul Sirel's avatar test

00:12:33

canceled Test #8101
readd_optimization
c69f89f7
ci-test
#5521 by Marko Kollo's avatar test

00:06:35

passed BuildWorker #8099
1.11.0
ff95827f
docker
#5520 by Raul Sirel's avatar build-worker

00:13:28

passed Build #8098
1.11.0
ff95827f
ci-test
#5520 by Raul Sirel's avatar build

00:01:25

passed Test #8097
1.11.0
ff95827f
ci-test
#5520 by Raul Sirel's avatar test

00:10:19

passed Test #8096
master
ff95827f
ci-test
#5519 by Raul Sirel's avatar test

00:10:09