Data for https://gitlab.com/coq/coq/-/pipelines/656741733/builds

| Status | Job | Stage | Name | Duration |
|--------|------------------------------|--------|----------------------------------|----------|
| failed | #3117689237 master 6fbfc3ed | build | test-suite:base | 03:02:01 |
| failed | #3117689242 master 6fbfc3ed | build | test-suite:base+async | 02:02:01 |
| passed | #3117689252 master 6fbfc3ed | build | library:ci-bedrock2 | 01:25:15 |
| passed | #3117689222 master 6fbfc3ed | build | build:base+async | 01:23:12 |
| passed | #3117689272 master 6fbfc3ed | build | library:ci-fiat_crypto_legacy | 01:16:30 |
| passed | #3117689309 master 6fbfc3ed | build | library:ci-vst | 01:13:14 |
| passed | #3117689282 master 6fbfc3ed | build | library:ci-fourcolor | 00:48:38 |
| passed | #3117689326 master 6fbfc3ed | build | plugin:ci-metacoq | 00:48:35 |
| passed | #3117689239 master 6fbfc3ed | build | test-suite:edge+flambda | 00:45:15 |
| passed | #3117689291 master 6fbfc3ed | build | library:ci-iris | 00:40:21 |
| passed | #3117689329 master 6fbfc3ed | build | plugin:ci-perennial | 00:40:15 |
| failed | #3117689270 master 6fbfc3ed | build | library:ci-fiat_crypto | 00:39:37 |
| passed | #3117689307 master 6fbfc3ed | build | library:ci-unimath | 00:38:58 |
| passed | #3117689284 master 6fbfc3ed | build | library:ci-corn | 00:31:57 |
| passed | #3117689238 master 6fbfc3ed | build | test-suite:base+32bit | 00:31:28 |
| passed | #3117689288 master 6fbfc3ed | build | library:ci-geocoq | 00:30:39 |
| passed | #3117689220 master 6fbfc3ed | build | build:edge+flambda | 00:30:08 |
| passed | #3117689227 master 6fbfc3ed | build | pkg:opam:native | 00:30:00 |
| passed | #3117689254 master 6fbfc3ed | build | library:ci-category_theory | 00:28:41 |
| passed | #3117689226 master 6fbfc3ed | build | pkg:opam | 00:28:28 |
| passed | #3117689308 master 6fbfc3ed | build | library:ci-verdi_raft | 00:28:11 |
| passed | #3117689240 master 6fbfc3ed | build | test-suite:edge:dev | 00:27:41 |
| passed | #3117689223 master 6fbfc3ed | build | build:vio | 00:26:45 |
| passed | #3117689228 master 6fbfc3ed | build | pkg:nix | 00:20:37 |
| passed | #3117689256 master 6fbfc3ed | build | library:ci-color | 00:20:14 |
| passed | #3117689261 master 6fbfc3ed | build | library:ci-coq_performance_tests | 00:19:20 |
| passed | #3117689221 master 6fbfc3ed | build | build:edge+flambda:dev | 00:19:19 |
| passed | #3117689280 master 6fbfc3ed | build | library:ci-oddorder | 00:18:43 |
| passed | #3117689258 master 6fbfc3ed | build | library:ci-compcert | 00:18:17 |
| passed | #3117689218 master 6fbfc3ed | build | build:base | 00:18:17 |
| passed | #3117689295 master 6fbfc3ed | build | library:ci-mathcomp | 00:18:08 |
| passed | #3117689298 master 6fbfc3ed | build | library:ci-mathcomp_base | 00:17:50 |
| passed | #3117689336 master 6fbfc3ed | build | plugin:ci-rewriter | 00:17:27 |
| passed | #3117689324 master 6fbfc3ed | build | plugin:ci-fiat_parsers | 00:17:08 |
| passed | #3117689267 master 6fbfc3ed | build | library:ci-cross_crypto | 00:16:42 |
| passed | #3117689219 master 6fbfc3ed | build | build:base+32bit | 00:15:59 |
| passed | #3117689313 master 6fbfc3ed | build | library:ci-jasmin | 00:15:58 |
| passed | #3117689263 master 6fbfc3ed | build | library:ci-coq_tools | 00:15:57 |
| passed | #3117689302 master 6fbfc3ed | build | library:ci-analysis | 00:15:14 |
| passed | #3117689268 master 6fbfc3ed | build | library:ci-engine_bench | 00:11:44 |
| passed | #3117689289 master 6fbfc3ed | build | library:ci-hott | 00:10:56 |
| passed | #3117689230 master 6fbfc3ed | build | doc:refman-pdf | 00:10:21 |
| passed | #3117689321 master 6fbfc3ed | build | plugin:ci-elpi | 00:10:12 |
| passed | #3117689331 master 6fbfc3ed | build | plugin:ci-quickchick | 00:09:04 |
| passed | #3117689338 master 6fbfc3ed | deploy | doc:refman:deploy | 00:08:12 |
| passed | #3117689293 master 6fbfc3ed | build | library:ci-math_classes | 00:08:04 |
| passed | #3117689304 master 6fbfc3ed | build | library:ci-sf | 00:07:58 |
| passed | #3117689229 master 6fbfc3ed | build | doc:refman | 00:07:21 |
| passed | #3117689323 master 6fbfc3ed | build | plugin:ci-equations | 00:07:12 |
| passed | #3117689335 master 6fbfc3ed | build | plugin:ci-relation_algebra | 00:06:33 |
| passed | #3117689276 master 6fbfc3ed | build | library:ci-flocq | 00:06:00 |
| passed | #3117689330 master 6fbfc3ed | build | plugin:plugin-tutorial | 00:05:43 |
| passed | #3117689266 master 6fbfc3ed | build | library:ci-coquelicot | 00:05:16 |
| passed | #3117689264 master 6fbfc3ed | build | library:ci-coqprime | 00:05:13 |
| passed | #3117689269 master 6fbfc3ed | build | library:ci-fcsl_pcm | 00:05:08 |
| passed | #3117689327 master 6fbfc3ed | build | plugin:ci-mtac2 | 00:05:04 |
| passed | #3117689316 master 6fbfc3ed | build | plugin:ci-itauto | 00:04:56 |
| passed | #3117689246 master 6fbfc3ed | build | validate:edge+flambda | 00:04:53 |
| passed | #3117689317 master 6fbfc3ed | build | plugin:ci-bignums | 00:04:52 |
| passed | #3117689245 master 6fbfc3ed | build | validate:base+32bit | 00:04:48 |
| passed | #3117689244 master 6fbfc3ed | build | validate:base | 00:04:45 |
| passed | #3117689232 master 6fbfc3ed | build | doc:stdlib | 00:04:36 |
| passed | #3117689306 master 6fbfc3ed | build | library:ci-tlc | 00:04:31 |
| passed | #3117689310 master 6fbfc3ed | build | library:ci-deriving | 00:04:24 |
| passed | #3117689278 master 6fbfc3ed | build | library:ci-menhir | 00:04:16 |
| passed | #3117689296 master 6fbfc3ed | build | library:ci-mczify | 00:04:15 |
| passed | #3117689235 master 6fbfc3ed | build | doc:ml-api:odoc | 00:04:03 |
| passed | #3117689248 master 6fbfc3ed | build | library:ci-argosy | 00:03:55 |
| passed | #3117689311 master 6fbfc3ed | build | library:ci-mathcomp_word | 00:03:52 |
| passed | #3117689303 master 6fbfc3ed | build | library:ci-paco | 00:03:52 |
| passed | #3117689325 master 6fbfc3ed | build | plugin:ci-lean_importer | 00:03:43 |
| passed | #3117689320 master 6fbfc3ed | build | plugin:ci-coqhammer | 00:03:41 |
| passed | #3117689224 master 6fbfc3ed | build | lint | 00:03:37 |
| passed | #3117689300 master 6fbfc3ed | build | library:ci-finmap | 00:03:29 |
| passed | #3117689250 master 6fbfc3ed | build | library:ci-bbv | 00:03:23 |
| passed | #3117689249 master 6fbfc3ed | build | library:ci-autosubst | 00:03:21 |
| passed | #3117689305 master 6fbfc3ed | build | library:ci-stdlib2 | 00:03:19 |
| passed | #3117689314 master 6fbfc3ed | build | plugin:ci-aac_tactics | 00:03:18 |
| passed | #3117689301 master 6fbfc3ed | build | library:ci-bigenough | 00:03:11 |
| passed | #3117689333 master 6fbfc3ed | build | plugin:ci-reduction_effects | 00:03:09 |
| passed | #3117689337 master 6fbfc3ed | build | plugin:ci-vscoq | 00:03:06 |
| passed | #3117689328 master 6fbfc3ed | build | plugin:ci-paramcoq | 00:02:58 |
| passed | #3117689265 master 6fbfc3ed | build | library:ci-coqtail | 00:02:57 |
| passed | #3117689319 master 6fbfc3ed | build | plugin:ci-coq_dpdgraph | 00:02:49 |
| passed | #3117689247 master 6fbfc3ed | build | validate:vio | 00:02:29 |
|--------|------------------------------|--------|----------------------------------|---------- |