Jobs · Maxime Lesourd / rt-proofs

Status	Job	Pipeline	Stage	Name	Timing
skipped	#106516 dependencies a0d06522	#39187 by	process	proof-state
passed	#106515 dependencies a0d06522	#39187 by	process	doc-classic	00:00:34 Dec 08, 2020
skipped	#106514 dependencies a0d06522	#39187 by	process	doc
passed	#106513 dependencies a0d06522	#39187 by	process	validate-classic	00:01:13 Dec 08, 2020
skipped	#106512 dependencies a0d06522	#39187 by	process	validate
failed	#106511 dependencies a0d06522 allowed to fail	#39187 by	build	coq-dev	00:04:08 Dec 08, 2020
failed	#106510 dependencies a0d06522 allowed to fail	#39187 by	build	coq-8.12	00:02:55 Dec 08, 2020
failed	#106509 dependencies a0d06522	#39187 by	build	spell-check	00:00:16 Dec 08, 2020
failed	#106508 dependencies a0d06522	#39187 by	build	proof-length	00:00:09 Dec 08, 2020
passed	#106507 dependencies a0d06522	#39187 by	build	build-for-process-classic	00:03:40 Dec 08, 2020
failed	#106506 dependencies a0d06522	#39187 by	build	build-for-process	00:01:18 Dec 08, 2020
failed	#106505 dependencies a0d06522	#39187 by	build	1.11.0-coq-8.12	00:02:36 Dec 08, 2020
failed	#106504 dependencies a0d06522	#39187 by	build	1.11.0-coq-8.11	00:02:49 Dec 08, 2020
failed	#106503 dependencies a0d06522	#39187 by	build	1.10.0-coq-8.11	00:02:54 Dec 08, 2020
passed	#105752 dependencies ab65c06b	#38985 by	process	proof-state	00:04:41 Dec 04, 2020
passed	#105751 dependencies ab65c06b	#38985 by	process	doc-classic	00:00:33 Dec 04, 2020
passed	#105750 dependencies ab65c06b	#38985 by	process	doc	00:00:20 Dec 04, 2020
passed	#105749 dependencies ab65c06b	#38985 by	process	validate-classic	00:01:12 Dec 04, 2020
passed	#105748 dependencies ab65c06b	#38985 by	process	validate	00:00:52 Dec 04, 2020
passed	#105747 dependencies ab65c06b	#38985 by	build	coq-dev	00:06:17 Dec 04, 2020
passed	#105746 dependencies ab65c06b	#38985 by	build	coq-8.12	00:06:22 Dec 04, 2020
failed	#105745 dependencies ab65c06b	#38985 by	build	spell-check	00:00:15 Dec 04, 2020
passed	#105744 dependencies ab65c06b	#38985 by	build	proof-length	00:00:09 Dec 04, 2020
passed	#105743 dependencies ab65c06b	#38985 by	build	build-for-process-classic	00:19:34 Dec 04, 2020
passed	#105742 dependencies ab65c06b	#38985 by	build	build-for-process	00:02:22 Dec 04, 2020
passed	#105741 dependencies ab65c06b	#38985 by	build	1.11.0-coq-8.12	00:05:06 Dec 04, 2020
failed	#105740 dependencies ab65c06b	#38985 by	build	1.11.0-coq-8.11	00:02:20 Dec 04, 2020
passed	#105739 dependencies ab65c06b	#38985 by	build	1.10.0-coq-8.11	00:06:06 Dec 04, 2020
passed	#105002 dependencies 322a3c1d	#38715 by	process	proof-state	00:04:43 Nov 26, 2020
passed	#105001 dependencies 322a3c1d	#38715 by	process	doc-classic	00:00:32 Nov 26, 2020