Status Name Job Pipeline Stage Duration Coverage
passed pages #1563289139
master
c329019c
#365300804 by Ana de Almeida Borges's avatar deploy

00:00:26

passed build.1.9.0-coq-8.8 #1563289138
master
c329019c
#365300804 by Ana de Almeida Borges's avatar compile

00:03:20

passed build.1.10.0-coq-8.10 #1563289137
master
c329019c
#365300804 by Ana de Almeida Borges's avatar compile

00:03:23

passed build.1.11.0-coq-8.12 #1563289136
master
c329019c
#365300804 by Ana de Almeida Borges's avatar compile

00:03:40

passed build.1.12.0-coq-8.13 #1563289135
master
c329019c
#365300804 by Ana de Almeida Borges's avatar compile

00:03:38

canceled build.1.9.0-coq-8.8 #1563289041
test
c329019c
#365300780 by Ana de Almeida Borges's avatar compile

00:00:04

canceled build.1.10.0-coq-8.10 #1563289039
test
c329019c
#365300780 by Ana de Almeida Borges's avatar compile

00:00:04

canceled build.1.11.0-coq-8.12 #1563289037
test
c329019c
#365300780 by Ana de Almeida Borges's avatar compile

00:00:04

canceled build.1.12.0-coq-8.13 #1563289036
test
c329019c
#365300780 by Ana de Almeida Borges's avatar compile

00:00:04

passed build.1.9.0-coq-8.8 #1563285282
test
c2963b59
#365299976 by Ana de Almeida Borges's avatar compile

00:03:29

passed build.1.10.0-coq-8.10 #1563285281
test
c2963b59
#365299976 by Ana de Almeida Borges's avatar compile

00:03:28

passed build.1.11.0-coq-8.12 #1563285280
test
c2963b59
#365299976 by Ana de Almeida Borges's avatar compile

00:03:50

passed build.1.12.0-coq-8.13 #1563285279
test
c2963b59
#365299976 by Ana de Almeida Borges's avatar compile

00:03:32

passed build.1.12.0-coq-8.12 #1563242654
test
617a69d6
#365289509 by Ana de Almeida Borges's avatar compile

00:03:34

passed build.1.12.0-coq-8.13 #1563242653
test
617a69d6
#365289509 by Ana de Almeida Borges's avatar compile

00:03:39

canceled build.1.12.0-coq-8.12 #1563241506
test
ae6555ce
#365289285 by Ana de Almeida Borges's avatar compile

00:02:26

canceled build.1.12.0-coq-8.13 #1563241505
test
ae6555ce
#365289285 by Ana de Almeida Borges's avatar compile

00:02:27

passed build.1.12.0-coq-8.12 #1563238401
test
395f7450
#365288487 by Ana de Almeida Borges's avatar compile

00:03:35

passed build.1.12.0-coq-8.13 #1563238400
test
395f7450
#365288487 by Ana de Almeida Borges's avatar compile

00:03:20