Status Name Job Pipeline Stage Duration Coverage
passed build-coq.8.10.2 #154766
choose_proper
c1d2615a
fp
#56403 by Paolo G. Giarrusso's avatar build

00:05:03

passed build-coq.8.13.2-mr #154765
choose_proper
c1d2615a
fp
#56403 by Paolo G. Giarrusso's avatar build

00:04:31

canceled build-coq.8.10.2 #154764
choose_proper
afcea245
fp
#56402 by Paolo G. Giarrusso's avatar build

00:03:53

canceled build-coq.8.13.2-mr #154763
choose_proper
afcea245
fp
#56402 by Paolo G. Giarrusso's avatar build

00:03:53

passed build-coq.8.10.2 #154720
choose_proper
1e2df25e
fp
#56383 by Paolo G. Giarrusso's avatar build

00:05:05

passed build-coq.8.13.2-mr #154719
choose_proper
1e2df25e
fp
#56383 by Paolo G. Giarrusso's avatar build

00:04:36

passed build-coq.8.10.2 #152808
choose_proper
905203e1
fp
#55908 by Paolo G. Giarrusso's avatar build

00:04:56

passed build-coq.8.13.2-mr #152807
choose_proper
905203e1
fp
#55908 by Paolo G. Giarrusso's avatar build

00:04:27

passed build-coq.8.10.2 #152713
choose_proper
d539afc4
fp
#55862 by Paolo G. Giarrusso's avatar build

00:04:54

passed build-coq.8.13.2-mr #152712
choose_proper
d539afc4
fp
#55862 by Paolo G. Giarrusso's avatar build

00:04:31

passed build-coq.8.10.2 #152711
choose_proper
b27bc60b
fp
#55861 by Paolo G. Giarrusso's avatar build

00:04:57

passed build-coq.8.13.2-mr #152710
choose_proper
b27bc60b
fp
#55861 by Paolo G. Giarrusso's avatar build

00:04:32

passed build-coq.8.10.2 #152679
monadset-comments
23e8b3ac
fp
#55846 by Paolo G. Giarrusso's avatar build

00:05:26

passed build-coq.8.13.2-mr #152678
monadset-comments
23e8b3ac
fp
#55846 by Paolo G. Giarrusso's avatar build

00:04:57

passed build-coq.8.10.2 #152677
choose_proper
5e1f2328
fp
#55845 by Paolo G. Giarrusso's avatar build

00:05:27

passed build-coq.8.13.2-mr #152676
choose_proper
5e1f2328
fp
#55845 by Paolo G. Giarrusso's avatar build

00:05:05

passed build-coq.8.10.2 #152675
choose_proper
ef75def7
fp
#55844 by Paolo G. Giarrusso's avatar build

00:05:12

passed build-coq.8.13.2-mr #152674
choose_proper
ef75def7
fp
#55844 by Paolo G. Giarrusso's avatar build

00:04:24

canceled build-coq.8.10.2 #152673
choose_proper
702c2153
fp
#55843 by Paolo G. Giarrusso's avatar build

00:01:37

canceled build-coq.8.13.2-mr #152672
choose_proper
702c2153
fp
#55843 by Paolo G. Giarrusso's avatar build

00:01:37

passed build-coq.8.10.2 #152671
monadset-comments
4a79cb6d
fp
#55842 by Paolo G. Giarrusso's avatar build

00:05:30

passed build-coq.8.13.2-mr #152670
monadset-comments
4a79cb6d
fp
#55842 by Paolo G. Giarrusso's avatar build

00:05:15

failed build-coq.8.10.2 #152669
choose_proper
4b7a2664
fp
#55841 by Paolo G. Giarrusso's avatar build

00:02:48

failed build-coq.8.13.2-mr #152668
choose_proper
4b7a2664
fp
#55841 by Paolo G. Giarrusso's avatar build

00:02:32

passed build-coq.8.10.2 #152667
choose_proper
077f693e
fp
#55840 by Paolo G. Giarrusso's avatar build

00:05:20

passed build-coq.8.13.2-mr #152666
choose_proper
077f693e
fp
#55840 by Paolo G. Giarrusso's avatar build

00:04:51

canceled build-coq.8.10.2 #152664
choose_proper
85322424
fp
#55838 by Paolo G. Giarrusso's avatar build

00:03:24

passed build-coq.8.13.2-mr #152663
choose_proper
85322424
fp
#55838 by Paolo G. Giarrusso's avatar build

00:05:07

passed build-coq.8.10.2 #152657
monadset-comments
a040e45b
fp
#55836 by Paolo G. Giarrusso's avatar build

00:05:59

passed build-coq.8.13.2-mr #152656
monadset-comments
a040e45b
fp
#55836 by Paolo G. Giarrusso's avatar build

00:06:13