Status Job Pipeline Stage Name Coverage
passed #8873
master
4c60de24
fp
#7006 by Robbert's avatar build build-coq.8.6.0

08:39

passed #8872
master
4c60de24
fp
#7006 by Robbert's avatar build build-coq.8.6.1

08:38

passed #8871
master
4c60de24
fp
#7006 by Robbert's avatar build build-coq.8.7.0

08:41

passed #8870
master
4c60de24
fp
#7006 by Robbert's avatar build build-coq.8.7.1

09:02

passed #8869
master
4c60de24
fp-timing
#7006 by Robbert's avatar build build-coq.8.7.2

07:33

passed #8868
master
4c60de24
fp
#7006 by Robbert's avatar build build-coq.dev

21:11

failed #8824
master
4c60de24
fp
#7006 by Robbert's avatar build build-coq.8.6.0

01:02:46

failed #8823
master
4c60de24
fp
#7006 by Robbert's avatar build build-coq.8.6.1

01:02:58

failed #8822
master
4c60de24
fp
#7006 by Robbert's avatar build build-coq.8.7.0

01:03:04

failed #8821
master
4c60de24
fp
#7006 by Robbert's avatar build build-coq.8.7.1

01:03:08

failed #8820
master
4c60de24
fp-timing
#7006 by Robbert's avatar build build-coq.8.7.2

01:03:23

failed #8819
master
4c60de24
fp
#7006 by Robbert's avatar build build-coq.dev

01:03:18

failed #8804
master
6c34b059
fp
#7001 by Robbert's avatar build build-coq.8.6.0

01:43:04

failed #8803
master
6c34b059
fp
#7001 by Robbert's avatar build build-coq.8.6.1

01:43:07

failed #8802
master
6c34b059
fp
#7001 by Robbert's avatar build build-coq.8.7.0

01:43:10

failed #8801
master
6c34b059
fp
#7001 by Robbert's avatar build build-coq.8.7.1

01:43:13

failed #8800
master
6c34b059
fp-timing
#7001 by Robbert's avatar build build-coq.8.7.2

01:43:15

failed #8799
master
6c34b059
fp
#7001 by Robbert's avatar build build-coq.dev

01:43:16

passed #8725
master
28e72e3c
fp
#6973 by Robbert's avatar build build-coq.8.6.0

02:38

passed #8724
master
28e72e3c
fp
#6973 by Robbert's avatar build build-coq.8.6.1

02:38

passed #8723
master
28e72e3c
fp
#6973 by Robbert's avatar build build-coq.8.7.0

02:36

passed #8722
master
28e72e3c
fp
#6973 by Robbert's avatar build build-coq.8.7.1

02:30

passed #8721
master
28e72e3c
fp-timing
#6973 by Robbert's avatar build build-coq.8.7.2

02:33

passed #8720
master
28e72e3c
fp
#6973 by Robbert's avatar build build-coq.dev

14:14

passed #8569
master
cd1ed3dd
fp
#6879 by Robbert's avatar build build-coq.8.6.0

02:45

passed #8568
master
cd1ed3dd
fp
#6879 by Robbert's avatar build build-coq.8.6.1

10:31

passed #8567
master
cd1ed3dd
fp
#6879 by Robbert's avatar build build-coq.8.7.0

10:35

passed #8566
master
cd1ed3dd
fp
#6879 by Robbert's avatar build build-coq.8.7.1

10:38

passed #8565
master
cd1ed3dd
fp-timing
#6879 by Robbert's avatar build build-coq.8.7.2

02:17

passed #8564
master
cd1ed3dd
fp
#6879 by Robbert's avatar build build-coq.dev

19:44