Skip to content

GitLab

Status Name Job Pipeline Stage Duration Coverage
failed build-coq.8.7.2 #39485
master
6bc8803a
fp
#19083 by Paulo Emílio de Vilhena's avatar build

failed build-coq.8.8.0 #39484
master
6bc8803a
fp-timing
#19083 by Paulo Emílio de Vilhena's avatar build

failed build-coq.8.8.1 #39483
master
6bc8803a
fp
#19083 by Paulo Emílio de Vilhena's avatar build

failed build-coq.8.8.2 #39482
master
6bc8803a
fp
#19083 by Paulo Emílio de Vilhena's avatar build

failed build-coq.8.9.0 #39481
master
6bc8803a
fp-timing
#19083 by Paulo Emílio de Vilhena's avatar build

failed build-coq.8.9.1 #39480
master
6bc8803a
fp
#19083 by Paulo Emílio de Vilhena's avatar build

failed build-coq.8.10.dev #39479
master
6bc8803a
fp
#19083 by Paulo Emílio de Vilhena's avatar build

failed build-coq.dev #39478
master
6bc8803a
fp
#19083 by Paulo Emílio de Vilhena's avatar build

canceled build-coq.8.7.2 #39471
master
146e35f0
fp
#19081 by Paulo Emílio de Vilhena's avatar build

canceled build-coq.8.8.0 #39470
master
146e35f0
fp-timing
#19081 by Paulo Emílio de Vilhena's avatar build

canceled build-coq.8.8.1 #39469
master
146e35f0
fp
#19081 by Paulo Emílio de Vilhena's avatar build

canceled build-coq.8.8.2 #39468
master
146e35f0
fp
#19081 by Paulo Emílio de Vilhena's avatar build

canceled build-coq.8.9.0 #39467
master
146e35f0
fp-timing
#19081 by Paulo Emílio de Vilhena's avatar build

canceled build-coq.8.9.1 #39466
master
146e35f0
fp
#19081 by Paulo Emílio de Vilhena's avatar build

canceled build-coq.8.10.dev #39465
master
146e35f0
fp
#19081 by Paulo Emílio de Vilhena's avatar build

canceled build-coq.dev #39464
master
146e35f0
fp
#19081 by Paulo Emílio de Vilhena's avatar build

canceled build-coq.8.7.2 #39463
master
f067cd18
fp
#19080 by Paulo Emílio de Vilhena's avatar build

canceled build-coq.8.8.0 #39462
master
f067cd18
fp-timing
#19080 by Paulo Emílio de Vilhena's avatar build

canceled build-coq.8.8.1 #39461
master
f067cd18
fp
#19080 by Paulo Emílio de Vilhena's avatar build

canceled build-coq.8.8.2 #39460
master
f067cd18
fp
#19080 by Paulo Emílio de Vilhena's avatar build

canceled build-coq.8.9.0 #39459
master
f067cd18
fp-timing
#19080 by Paulo Emílio de Vilhena's avatar build

canceled build-coq.8.9.1 #39458
master
f067cd18
fp
#19080 by Paulo Emílio de Vilhena's avatar build

canceled build-coq.8.10.dev #39457
master
f067cd18
fp
#19080 by Paulo Emílio de Vilhena's avatar build

canceled build-coq.dev #39456
master
f067cd18
fp
#19080 by Paulo Emílio de Vilhena's avatar build

failed build-coq.8.7.2 #39411
master
44d3e6e4
fp
#19068 by Paulo Emílio de Vilhena's avatar build

failed build-coq.8.8.0 #39410
master
44d3e6e4
fp-timing
#19068 by Paulo Emílio de Vilhena's avatar build

failed build-coq.8.8.1 #39409
master
44d3e6e4
fp
#19068 by Paulo Emílio de Vilhena's avatar build

failed build-coq.8.8.2 #39408
master
44d3e6e4
fp
#19068 by Paulo Emílio de Vilhena's avatar build

failed build-coq.8.9.0 #39407
master
44d3e6e4
fp-timing
#19068 by Paulo Emílio de Vilhena's avatar build

failed build-coq.8.9.1 #39406
master
44d3e6e4
fp
#19068 by Paulo Emílio de Vilhena's avatar build