Status Name Job Pipeline Stage Duration Coverage
passed build-coq.8.12.2 #199318
set_bind
51580498
fp
#69490 by Paolo G. Giarrusso's avatar build

00:04:27

passed build-coq.8.14.1 #199317
set_bind
51580498
fp
#69490 by Paolo G. Giarrusso's avatar build

00:12:41

failed build-coq.8.14.1 #199314
basic-dune
5b487330
fp
#69488 by Paolo G. Giarrusso's avatar build

00:09:14

passed build-coq.8.12.2 #199313
basic-dune
5b487330
fp
#69488 by Paolo G. Giarrusso's avatar build

00:10:39

failed build-coq.8.14.1 #199312
basic-dune
5b487330
fp
#69488 by Paolo G. Giarrusso's avatar build

00:10:18

passed build-coq.8.11.2 #172359
set_unfold_list_bind
221197c4
fp
#62311 by Paolo G. Giarrusso's avatar build

00:10:08

passed build-coq.8.14.1-mr #172358
set_unfold_list_bind
221197c4
fp
#62311 by Paolo G. Giarrusso's avatar build

00:10:50

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