Status Job Pipeline Stage Name Coverage
passed #17936
master
39bb247a
fp
#11769 by Ralf Jung's avatar build build-coq.8.6.0

08:30

passed #17935
master
39bb247a
fp
#11769 by Ralf Jung's avatar build build-coq.8.6.1

08:31

passed #17934
master
39bb247a
fp
#11769 by Ralf Jung's avatar build build-coq.8.7.0

02:14

passed #17933
master
39bb247a
fp
#11769 by Ralf Jung's avatar build build-coq.8.7.1

02:18

passed #17932
master
39bb247a
fp-timing
#11769 by Ralf Jung's avatar build build-coq.8.7.2

02:26

passed #17931
master
39bb247a
fp-timing
#11769 by Ralf Jung's avatar build build-coq.8.8.0

02:43

passed #17930
master
39bb247a
fp
#11769 by Ralf Jung's avatar build build-coq.8.8.1

08:15

passed #17929
master
39bb247a
fp
#11769 by Ralf Jung's avatar build build-coq.dev

04:05

canceled #17922
ci/opam2
c83feb6b
fp
#11765 by Ralf Jung's avatar build build-coq.8.6.1

canceled #17921
ci/opam2
c83feb6b
fp
#11765 by Ralf Jung's avatar build build-coq.8.7.1

passed #17920
master
c83feb6b
fp
#11766 by Ralf Jung's avatar build build-coq.8.6.0

08:30

passed #17919
master
c83feb6b
fp
#11766 by Ralf Jung's avatar build build-coq.8.6.1

08:15

passed #17918
master
c83feb6b
fp
#11766 by Ralf Jung's avatar build build-coq.8.7.0

08:19

passed #17917
master
c83feb6b
fp
#11766 by Ralf Jung's avatar build build-coq.8.7.1

08:19

passed #17916
master
c83feb6b
fp-timing
#11766 by Ralf Jung's avatar build build-coq.8.7.2

02:18

passed #17915
master
c83feb6b
fp-timing
#11766 by Ralf Jung's avatar build build-coq.8.8.0

02:21

passed #17914
master
c83feb6b
fp
#11766 by Ralf Jung's avatar build build-coq.8.8.1

02:29

passed #17913
master
c83feb6b
fp
#11766 by Ralf Jung's avatar build build-coq.dev

04:06

passed #17912
ci/opam2
c83feb6b
fp
#11765 by Ralf Jung's avatar build build-coq.8.7.0

08:22

passed #17911
ci/opam2
c83feb6b
fp
#11765 by Ralf Jung's avatar build build-coq.8.6.0

08:33

canceled #17910
ci/opam2
c83feb6b
fp
#11765 by Ralf Jung's avatar build build-coq.8.6.0

01:54

failed #17909
ci/opam2
c83feb6b
fp
#11765 by Ralf Jung's avatar build build-coq.8.6.0

00:20

canceled #17908
ci/opam2
c83feb6b
fp
#11765 by Ralf Jung's avatar build build-coq.8.6.1

03:46

canceled #17907
ci/opam2
c83feb6b
fp
#11765 by Ralf Jung's avatar build build-coq.8.7.0

00:39

canceled #17906
ci/opam2
c83feb6b
fp
#11765 by Ralf Jung's avatar build build-coq.8.7.1

01:22

passed #17905
ci/opam2
c83feb6b
fp-timing
#11765 by Ralf Jung's avatar build build-coq.8.7.2

08:12

passed #17904
ci/opam2
c83feb6b
fp-timing
#11765 by Ralf Jung's avatar build build-coq.8.8.0

08:15

passed #17903
ci/opam2
c83feb6b
fp
#11765 by Ralf Jung's avatar build build-coq.8.8.1

08:56

passed #17902
ci/opam2
c83feb6b
fp
#11765 by Ralf Jung's avatar build build-coq.dev

18:01

canceled #17901
ci/opam2
bbc82429
fp
#11764 by Ralf Jung's avatar build build-coq.8.6.0