Status Job Pipeline Stage Name Timing Coverage
passed #22411
master
e84145c3
fp
#14069 by Ralf Jung's avatar build build-coq.8.8.2

00:14:45

failed #22410
master
e84145c3
fp
#14069 by Ralf Jung's avatar build build-coq.8.8.2

00:01:06

failed #22386
master
505340d0
fp
#14057 by Ralf Jung's avatar build build-coq.8.8.2

00:01:12

passed #22364
master
568d6266
fp
#14047 by Ralf Jung's avatar build build-iris.dev

00:08:27

passed #22150
master
568d6266
fp
#13983 by Ralf Jung's avatar build build-iris.dev

00:07:30

passed #22090
master
568d6266
fp
#13957 by Ralf Jung's avatar build build-iris.dev

00:03:18

passed #22069
master
568d6266
fp
#13943 by Ralf Jung's avatar build build-iris.dev

00:03:13

passed #22052
master
568d6266
fp
#13928 by Ralf Jung's avatar build build-iris.dev

00:03:13

passed #22043
master
568d6266
fp
#13919 by Ralf Jung's avatar build build-iris.dev

00:03:09

passed #21975
master
568d6266
fp
#13899 by Ralf Jung's avatar build build-iris.dev

00:03:14

passed #21951
master
568d6266
fp
#13881 by Ralf Jung's avatar build build-iris.dev

00:03:15

passed #21921
master
568d6266
fp
#13862 by Ralf Jung's avatar build build-iris.dev

00:03:14

passed #21899
master
568d6266
fp
#13845 by Ralf Jung's avatar build build-iris.dev

00:03:07

passed #21867
master
568d6266
fp
#13827 by Ralf Jung's avatar build build-iris.dev

00:07:09

passed #21856
master
568d6266
fp
#13822 by Ralf Jung's avatar build build-coq.8.8.2

00:03:05

failed #21850
master
a9de1c86
fp
#13816 by Ralf Jung's avatar build build-iris.dev

00:04:07

failed #21833
master
a9de1c86
fp
#13802 by Ralf Jung's avatar build build-iris.dev

00:04:05

passed #21804
master
a9de1c86
fp
#13787 by Ralf Jung's avatar build build-iris.dev

00:03:12

passed #21794
master
a9de1c86
fp
#13777 by Ralf Jung's avatar build build-iris.dev

00:03:11

passed #21762
master
a9de1c86
fp
#13759 by Ralf Jung's avatar build build-iris.dev

00:03:13

passed #21717
master
a9de1c86
fp
#13736 by Ralf Jung's avatar build build-iris.dev

00:03:09

passed #21698
master
a9de1c86
fp
#13721 by Ralf Jung's avatar build build-iris.dev

00:03:10

passed #21680
master
a9de1c86
fp
#13706 by Ralf Jung's avatar build build-iris.dev

00:03:12

passed #21658
master
a9de1c86
fp
#13690 by Ralf Jung's avatar build build-iris.dev

00:03:12

passed #21649
master
a9de1c86
fp
#13681 by Ralf Jung's avatar build build-iris.dev

00:03:07

passed #21640
master
a9de1c86
fp
#13672 by Ralf Jung's avatar build build-iris.dev

00:03:11

passed #21631
master
a9de1c86
fp
#13663 by Ralf Jung's avatar build build-iris.dev

00:03:09

passed #21622
master
a9de1c86
fp
#13654 by Ralf Jung's avatar build build-iris.dev

00:03:15

passed #21596
master
a9de1c86
fp
#13638 by Ralf Jung's avatar build build-iris.dev

00:03:08

passed #21587
master
a9de1c86
fp
#13629 by Ralf Jung's avatar build build-iris.dev

00:03:16