.gitlab-ci.yml file.

Status Job ID Name Coverage
  Build
passed #25295
fp
build-coq.8.8.2

00:17:10

passed #25294
fp
build-coq.dev

00:20:30

canceled #25293
fp
build-coq.8.8.2

canceled #25292
fp
build-coq.dev