Status Job Pipeline Stage Name Timing Coverage
passed #41810
ci/weak_mem
f30f9831
fp
#19700 by Jacques-Henri Jourdan's avatar build build-coq.8.8.2

00:38:22

passed #41809
ci/weak_mem
f30f9831
fp-timing
#19700 by Jacques-Henri Jourdan's avatar build build-coq.8.9.0

00:34:57

passed #41808
ci/weak_mem
f30f9831
fp
#19700 by Jacques-Henri Jourdan's avatar build build-coq.dev

00:49:39

canceled #41807
ci/weak_mem
c1dba573
fp
#19699 by Jacques-Henri Jourdan's avatar build build-coq.8.8.2

00:08:14

canceled #41806
ci/weak_mem
c1dba573
fp-timing
#19699 by Jacques-Henri Jourdan's avatar build build-coq.8.9.0

canceled #41805
ci/weak_mem
c1dba573
fp
#19699 by Jacques-Henri Jourdan's avatar build build-coq.dev

00:08:14

canceled #41804
ci/weak_mem
988efdbe
fp
#19698 by Jacques-Henri Jourdan's avatar build build-coq.8.8.2

00:14:38

canceled #41803
ci/weak_mem
988efdbe
fp-timing
#19698 by Jacques-Henri Jourdan's avatar build build-coq.8.9.0

00:14:39

canceled #41802
ci/weak_mem
988efdbe
fp
#19698 by Jacques-Henri Jourdan's avatar build build-coq.dev

00:14:38

failed #41753
ci/weak_mem
78317ef8
fp
#19690 by iris-dev's avatar build build-iris.dev

00:29:44

passed #41748
master
ac8d57a0
fp
#19685 by iris-dev's avatar build build-iris.dev

00:13:25

passed #41740
ci/robbert/iprop_structures
505e08c8
fp-timing
#19678 by Robbert's avatar build build-coq.dev

00:23:06

failed #41712
ci/weak_mem
78317ef8
fp
#19675 by iris-dev's avatar build build-iris.dev

00:29:23

passed #41707
master
ac8d57a0
fp
#19670 by iris-dev's avatar build build-iris.dev

00:18:50

passed #41689
master
ac8d57a0
fp
#19660 by Jacques-Henri Jourdan's avatar build build-coq.8.8.2

00:16:29

passed #41688
master
ac8d57a0
fp-timing
#19660 by Jacques-Henri Jourdan's avatar build build-coq.8.9.0

00:15:28

passed #41687
master
ac8d57a0
fp
#19660 by Jacques-Henri Jourdan's avatar build build-coq.dev

00:21:09

failed #41663
ci/places
39db2f9f
fp
#19656 by Michael Sammler's avatar build build-coq.8.8.2

00:09:13

failed #41662
ci/places
39db2f9f
fp-timing
#19656 by Michael Sammler's avatar build build-coq.8.9.0

00:08:45

failed #41661
ci/places
39db2f9f
fp
#19656 by Michael Sammler's avatar build build-coq.dev

00:13:48

failed #41590
ci/weak_mem
78317ef8
fp
#19645 by iris-dev's avatar build build-iris.dev

00:09:59

passed #41585
master
eaf53dcf
fp
#19640 by iris-dev's avatar build build-iris.dev

00:20:28

passed #41452
ci/weak_mem
78317ef8
fp
#19624 by iris-dev's avatar build build-iris.dev

00:48:54

passed #41447
master
eaf53dcf
fp
#19619 by iris-dev's avatar build build-iris.dev

00:20:38

passed #41419
ci/weak_mem
78317ef8
fp
#19608 by Jacques-Henri Jourdan's avatar build build-coq.8.8.2

00:21:29

passed #41418
ci/weak_mem
78317ef8
fp-timing
#19608 by Jacques-Henri Jourdan's avatar build build-coq.8.9.0

00:20:30

passed #41417
ci/weak_mem
78317ef8
fp
#19608 by Jacques-Henri Jourdan's avatar build build-coq.dev

00:48:38

passed #41394
master
eaf53dcf
fp
#19605 by Jacques-Henri Jourdan's avatar build build-coq.8.8.2

00:11:26

passed #41393
master
eaf53dcf
fp-timing
#19605 by Jacques-Henri Jourdan's avatar build build-coq.8.9.0

00:11:00

passed #41392
master
eaf53dcf
fp
#19605 by Jacques-Henri Jourdan's avatar build build-coq.dev

00:21:03