Status Name Job Pipeline Stage Duration Coverage
passed build-coq.8.12.2 #147790
optimize_iDestruct
5b6ab906
fp
#54550 by Armaël Guéneau's avatar build

00:13:49

passed build-coq.dev #147789
optimize_iDestruct
5b6ab906
fp
#54550 by Armaël Guéneau's avatar build

00:12:35

passed build-coq.8.12.2 #147683
optimize_iDestruct
446e4a22
fp
#54504 by Armaël Guéneau's avatar build

00:10:13

passed build-coq.dev #147682
optimize_iDestruct
446e4a22
fp
#54504 by Armaël Guéneau's avatar build

00:09:36

canceled build-coq.8.12.2 #147681
optimize_iDestruct
a517c26e
fp
#54503 by Armaël Guéneau's avatar build

00:00:46

canceled build-coq.dev #147680
optimize_iDestruct
a517c26e
fp
#54503 by Armaël Guéneau's avatar build

00:00:47

passed build-coq.8.12.2 #146817
optimize_iDestruct
d65f3e41
fp
#54303 by Armaël Guéneau's avatar build

00:09:40

passed build-coq.dev #146816
optimize_iDestruct
d65f3e41
fp
#54303 by Armaël Guéneau's avatar build

00:09:01

passed build-coq.8.12.2 #145563
optimize_iDestruct
5cf69a73
fp
#53855 by Armaël Guéneau's avatar build

00:08:20

passed build-coq.dev #145562
optimize_iDestruct
5cf69a73
fp
#53855 by Armaël Guéneau's avatar build

00:07:50

passed build-coq.8.12.2 #145452
optimize_iDestruct
b4c83838
fp
#53836 by Armaël Guéneau's avatar build

00:07:56

passed build-coq.dev #145451
optimize_iDestruct
b4c83838
fp
#53836 by Armaël Guéneau's avatar build

00:07:36

failed build-coq.8.12.2 #145396
optimize_iDestruct
c9abb6e9
fp
#53815 by Armaël Guéneau's avatar build

00:06:22

failed build-coq.dev #145395
optimize_iDestruct
c9abb6e9
fp
#53815 by Armaël Guéneau's avatar build

00:05:49

failed build-coq.8.12.2 #145394
optimize_iDestruct
93a12b44
fp
#53814 by Armaël Guéneau's avatar build

00:06:29

failed build-coq.dev #145393
optimize_iDestruct
93a12b44
fp
#53814 by Armaël Guéneau's avatar build

00:05:53

canceled build-coq.8.12.2 #145392
optimize_iDestruct
b8e829c9
fp
#53813 by Armaël Guéneau's avatar build

00:02:54

canceled build-coq.dev #145391
optimize_iDestruct
b8e829c9
fp
#53813 by Armaël Guéneau's avatar build

00:02:55

canceled build-coq.8.12.2 #145390
optimize_iDestruct
b53a87ad
fp
#53812 by Armaël Guéneau's avatar build

00:01:53

canceled build-coq.dev #145389
optimize_iDestruct
b53a87ad
fp
#53812 by Armaël Guéneau's avatar build

00:01:53

passed build-coq.8.12.2 #143641
optimize_iDestruct
729ee64c
fp
#53363 by Armaël Guéneau's avatar build

00:09:35

passed build-coq.dev #143640
optimize_iDestruct
729ee64c
fp
#53363 by Armaël Guéneau's avatar build

00:16:18

canceled build-coq.8.12.2 #143639
optimize_iDestruct
3bc9c580
fp
#53362 by Armaël Guéneau's avatar build

00:08:53

canceled build-coq.dev #143638
optimize_iDestruct
3bc9c580
fp
#53362 by Armaël Guéneau's avatar build

00:08:53

passed build-coq.8.12.2 #142537
optimize_iIntoEmpValid
20b0a19d
fp
#52994 by Armaël Guéneau's avatar build

00:07:56

passed build-coq.dev #142536
optimize_iIntoEmpValid
20b0a19d
fp
#52994 by Armaël Guéneau's avatar build

00:07:57

passed build-coq.8.12.2 #142225
optimize_iIntoEmpValid
53998b1f
fp
#52887 by Armaël Guéneau's avatar build

00:07:52

passed build-coq.dev #142224
optimize_iIntoEmpValid
53998b1f
fp
#52887 by Armaël Guéneau's avatar build

00:07:52

passed build-coq.8.12.2 #142017
optimize_iIntoEmpValid
a7ab8cf3
fp
#52845 by Armaël Guéneau's avatar build

00:08:59

passed build-coq.dev #142016
optimize_iIntoEmpValid
a7ab8cf3
fp
#52845 by Armaël Guéneau's avatar build

00:09:24