Status Job Pipeline Stage Name Coverage
passed #14638
master
94359441
fp
#9958 by Ralf Jung's avatar build build-coq.8.6.0

02:53

passed #14637
master
94359441
fp
#9958 by Ralf Jung's avatar build build-coq.8.6.1

02:49

passed #14636
master
94359441
fp
#9958 by Ralf Jung's avatar build build-coq.8.7.0

02:50

passed #14635
master
94359441
fp
#9958 by Ralf Jung's avatar build build-coq.8.7.1

02:48

passed #14634
master
94359441
fp-timing
#9958 by Ralf Jung's avatar build build-coq.8.7.2

02:50

passed #14633
master
94359441
fp-timing
#9958 by Ralf Jung's avatar build build-coq.8.8.0

02:49

passed #14632
master
94359441
fp
#9958 by Ralf Jung's avatar build build-coq.dev

04:19

passed #14623
ci/ralf/lia
f44e1d54
fp
#9953 by Ralf Jung's avatar build build-coq.8.6.0

02:58

passed #14622
ci/ralf/lia
f44e1d54
fp
#9953 by Ralf Jung's avatar build build-coq.8.6.1

02:54

passed #14621
ci/ralf/lia
f44e1d54
fp
#9953 by Ralf Jung's avatar build build-coq.8.7.0

02:50

passed #14620
ci/ralf/lia
f44e1d54
fp
#9953 by Ralf Jung's avatar build build-coq.8.7.1

02:48

passed #14619
ci/ralf/lia
f44e1d54
fp-timing
#9953 by Ralf Jung's avatar build build-coq.8.7.2

02:48

passed #14618
ci/ralf/lia
f44e1d54
fp-timing
#9953 by Ralf Jung's avatar build build-coq.8.8.0

06:12

passed #14617
ci/ralf/lia
f44e1d54
fp
#9953 by Ralf Jung's avatar build build-coq.dev

04:20

passed #14616
master
b2ca5d48
fp
#9952 by Ralf Jung's avatar build build-coq.8.6.0

02:54

passed #14615
master
b2ca5d48
fp
#9952 by Ralf Jung's avatar build build-coq.8.6.1

02:53

passed #14614
master
b2ca5d48
fp
#9952 by Ralf Jung's avatar build build-coq.8.7.0

02:54

passed #14613
master
b2ca5d48
fp
#9952 by Ralf Jung's avatar build build-coq.8.7.1

03:38

passed #14612
master
b2ca5d48
fp-timing
#9952 by Ralf Jung's avatar build build-coq.8.7.2

02:50

passed #14611
master
b2ca5d48
fp-timing
#9952 by Ralf Jung's avatar build build-coq.8.8.0

08:15

passed #14610
master
b2ca5d48
fp
#9952 by Ralf Jung's avatar build build-coq.dev

14:18

passed #14606
ci/ralf/lia
8d587626
fp
#9950 by Ralf Jung's avatar build build-coq.8.6.0

03:05

passed #14605
ci/ralf/lia
8d587626
fp
#9950 by Ralf Jung's avatar build build-coq.8.6.1

03:36

passed #14604
ci/ralf/lia
8d587626
fp
#9950 by Ralf Jung's avatar build build-coq.8.7.0

03:37

passed #14603
ci/ralf/lia
8d587626
fp
#9950 by Ralf Jung's avatar build build-coq.8.7.1

02:55

passed #14602
ci/ralf/lia
8d587626
fp-timing
#9950 by Ralf Jung's avatar build build-coq.8.7.2

03:00

passed #14601
ci/ralf/lia
8d587626
fp
#9950 by Ralf Jung's avatar build build-coq.8.8.0

02:58

passed #14600
ci/ralf/lia
8d587626
fp
#9950 by Ralf Jung's avatar build build-coq.dev

14:59

passed #14484
master
10636e80
fp
#9890 by Robbert's avatar build build-coq.8.6.0

02:56

passed #14483
master
10636e80
fp
#9890 by Robbert's avatar build build-coq.8.6.1

02:49