Skip to content

I
Iris
Status Job Pipeline Stage Name Coverage
passed #25009
master
36f10273
fp
#14971 by Ralf Jung's avatar build build-coq.8.7.1

00:05:22

passed #25008
master
36f10273
fp
#14971 by Ralf Jung's avatar build build-coq.8.7.2

00:05:19

passed #25007
master
36f10273
fp-timing
#14971 by Ralf Jung's avatar build build-coq.8.8.0

00:04:42

passed #25006
master
36f10273
fp
#14971 by Ralf Jung's avatar build build-coq.8.8.1

00:05:22

passed #25005
master
36f10273
fp
#14971 by Ralf Jung's avatar build build-coq.8.8.2

00:05:22

passed #25004
master
36f10273
fp-timing
#14971 by Ralf Jung's avatar build build-coq.8.9.0

00:05:22

passed #25003
master
36f10273
fp
#14971 by Ralf Jung's avatar build build-coq.dev

00:12:23

passed #24896
master
9c04e2b4
fp
#14940 by Ralf Jung's avatar build build-coq.8.7.1

00:06:15

passed #24895
master
9c04e2b4
fp
#14940 by Ralf Jung's avatar build build-coq.8.7.2

00:06:06

passed #24894
master
9c04e2b4
fp-timing
#14940 by Ralf Jung's avatar build build-coq.8.8.0

00:05:50

passed #24893
master
9c04e2b4
fp
#14940 by Ralf Jung's avatar build build-coq.8.8.1

00:06:34

passed #24892
master
9c04e2b4
fp
#14940 by Ralf Jung's avatar build build-coq.8.8.2

00:06:35

passed #24891
master
9c04e2b4
fp-timing
#14940 by Ralf Jung's avatar build build-coq.8.9.0

00:06:19

passed #24890
master
9c04e2b4
fp
#14940 by Ralf Jung's avatar build build-coq.dev

00:09:29

passed #24879
master
0c5f29db
fp
#14936 by Ralf Jung's avatar build build-coq.8.7.1

00:06:24

passed #24878
master
0c5f29db
fp
#14936 by Ralf Jung's avatar build build-coq.8.7.2

00:06:23

passed #24877
master
0c5f29db
fp-timing
#14936 by Ralf Jung's avatar build build-coq.8.8.0

00:05:53

passed #24876
master
0c5f29db
fp
#14936 by Ralf Jung's avatar build build-coq.8.8.1

00:07:23

passed #24875
master
0c5f29db
fp
#14936 by Ralf Jung's avatar build build-coq.8.8.2

00:07:18

passed #24874
master
0c5f29db
fp-timing
#14936 by Ralf Jung's avatar build build-coq.8.9.0

00:06:26

passed #24873
master
0c5f29db
fp
#14936 by Ralf Jung's avatar build build-coq.dev

00:20:03

passed #24772
mtac2-tt
8f7b1fec
fp
#14898 by Ralf Jung's avatar build build-coq.8.7.2

00:04:05

passed #24771
mtac2-tt
8f7b1fec
fp-timing
#14898 by Ralf Jung's avatar build build-coq.8.8.2

00:03:37

passed #24770
mtac2-tt
8f7b1fec
fp-timing
#14898 by Ralf Jung's avatar build build-coq.8.8.2-flambda

00:04:22

passed #24756
master
ef511c16
fp
#14888 by Robbert's avatar build build-coq.8.7.1

00:06:51

passed #24755
master
ef511c16
fp
#14888 by Robbert's avatar build build-coq.8.7.2

00:06:39

passed #24754
master
ef511c16
fp-timing
#14888 by Robbert's avatar build build-coq.8.8.0

00:06:06

passed #24753
master
ef511c16
fp
#14888 by Robbert's avatar build build-coq.8.8.1

00:06:13

passed #24752
master
ef511c16
fp
#14888 by Robbert's avatar build build-coq.8.8.2

00:06:17

passed #24751
master
ef511c16
fp-timing
#14888 by Robbert's avatar build build-coq.8.9.0

00:06:32