Status Job Pipeline Stage Name Coverage
passed #8857
master
087b5c47
fp
#7010 by Ralf Jung's avatar build build-iris.dev

17:40

canceled #8851
master
087b5c47
fp
#7010 by Ralf Jung's avatar build build-iris.dev

20:50

canceled #8850
master
087b5c47
fp
#7010 by Ralf Jung's avatar build build-iris.dev

01:25

canceled #8849
master
087b5c47
fp
#7010 by Ralf Jung's avatar build build-iris.dev

02:31

failed #8830
master
087b5c47
fp
#7010 by Ralf Jung's avatar build build-iris.dev

01:40:41

passed #8758
master
087b5c47
fp
#6995 by Jacques-Henri Jourdan's avatar build build-coq.8.6.1

10:39

passed #8757
master
087b5c47
fp-timing
#6995 by Jacques-Henri Jourdan's avatar build build-coq.8.7.1

09:44

failed #8751
master
5e9f4d89
fp
#6990 by Jacques-Henri Jourdan's avatar build build-coq.8.6.1

08:37

failed #8750
master
5e9f4d89
fp-timing
#6990 by Jacques-Henri Jourdan's avatar build build-coq.8.7.1

07:38

failed #8739
master
5cd98a38
fp
#6981 by Ralf Jung's avatar build build-iris.dev

07:03

passed #8681
master
5cd98a38
fp
#6951 by Ralf Jung's avatar build build-iris.dev

08:07

passed #8609
master
5cd98a38
fp
#6906 by Ralf Jung's avatar build build-iris.dev

08:46

passed #8539
master
5cd98a38
fp
#6866 by Ralf Jung's avatar build build-iris.dev

06:05

passed #8525
master
5cd98a38
fp
#6855 by Ralf Jung's avatar build build-iris.dev

05:47

passed #8520
master
5cd98a38
fp
#6850 by Ralf Jung's avatar build build-iris.dev

08:47

passed #8468
master
5cd98a38
fp
#6823 by Ralf Jung's avatar build build-coq.8.6.1

08:31

passed #8467
master
5cd98a38
fp-timing
#6823 by Ralf Jung's avatar build build-coq.8.7.1

06:16

passed #8463
master
ba8ea2a3
fp
#6820 by Ralf Jung's avatar build build-coq.8.6.1

09:32

passed #8462
master
ba8ea2a3
fp-timing
#6820 by Ralf Jung's avatar build build-coq.8.7.1

08:41

passed #8461
master
82e114ce
fp
#6819 by Ralf Jung's avatar build build-coq.8.6.1

06:46

passed #8460
master
82e114ce
fp-timing
#6819 by Ralf Jung's avatar build build-coq.8.7.1

06:16

passed #8454
master
57630ac5
fp
#6814 by Ralf Jung's avatar build build-iris.dev

06:29

passed #8408
master
57630ac5
fp
#6780 by Ralf Jung's avatar build build-coq.8.6.1

12:34

passed #8407
master
57630ac5
fp-timing
#6780 by Ralf Jung's avatar build build-coq.8.7.1

06:01

passed #8404
master
6cf0349d
fp-timing
#6778 by Ralf Jung's avatar build build-coq.8.7.1

06:06

passed #8403
master
e3b46220
fp
#6777 by Ralf Jung's avatar test build-iris.dev

14:46

passed #8383
master
e3b46220
fp
#6767 by Ralf Jung's avatar test build-iris.dev

10:10

passed #8339
master
e3b46220
fp
#6738 by Ralf Jung's avatar test build-iris.dev

14:54

passed #8337
master
e3b46220
fp-timing
#6736 by Ralf Jung's avatar test build-coq.8.7.1

05:56

canceled #8336
master
b39f5696
fp
#6735 by Ralf Jung's avatar test build-coq.8.6.1