Status Name Job Pipeline Stage Duration Coverage
passed build-coq.8.10.2 #133147
changelog-addition
951bd2eb
fp
#49440 by Simon Friis Vindum's avatar build

00:05:19

passed build-coq.8.13.2-mr #133146
changelog-addition
951bd2eb
fp
#49440 by Simon Friis Vindum's avatar build

00:04:58

passed build-coq.8.10.2 #132564
extra-lemmas
e22e4a76
fp
#49247 by Simon Friis Vindum's avatar build

00:05:12

passed build-coq.8.13.2-mr #132563
extra-lemmas
e22e4a76
fp
#49247 by Simon Friis Vindum's avatar build

00:04:40

passed build-coq.8.10.2 #131960
extra-lemmas
28f8140d
fp
#48969 by Simon Friis Vindum's avatar build

00:04:38

passed build-coq.8.13.2-mr #131959
extra-lemmas
28f8140d
fp
#48969 by Simon Friis Vindum's avatar build

00:04:16

passed build-coq.8.10.2 #129048
master
4492d5a5
fp
#47622 by Simon Friis Vindum's avatar build

00:05:46

passed build-coq.8.13.2-mr #129047
master
4492d5a5
fp
#47622 by Simon Friis Vindum's avatar build

00:05:48

passed build-coq.8.10.2 #128705
master
0973276d
fp
#47452 by Simon Friis Vindum's avatar build

00:04:31

passed build-coq.8.13.2-mr #128704
master
0973276d
fp
#47452 by Simon Friis Vindum's avatar build

00:04:16

passed build-coq.8.10.2 #128558
master
3140d663
fp
#47391 by Simon Friis Vindum's avatar build

00:04:31

passed build-coq.8.13.2-mr #128557
master
3140d663
fp
#47391 by Simon Friis Vindum's avatar build

00:08:56

passed build-coq.8.10.2 #128545
master
02578610
fp
#47384 by Simon Friis Vindum's avatar build

00:08:51

failed build-coq.8.13.2-mr #128544
master
02578610
fp
#47384 by Simon Friis Vindum's avatar build

00:06:35