Jobs · RT-PROOFS / PROSA - Formally Proven Schedulability Analysis

Status	Job	Pipeline	Stage	Name	Duration
failed	#136449 refs/merge-requests/136/head 2b87d4dc allowed to fail	#50913 by	build	coq-dev	00:00:38 Jul 23, 2021
passed	#136422 refs/merge-requests/134/head 190f468e	#50917 by	process	doc-classic	00:00:29 Jul 23, 2021
passed	#136421 refs/merge-requests/134/head 190f468e	#50917 by	process	doc	00:00:15 Jul 23, 2021
passed	#136420 refs/merge-requests/134/head 190f468e	#50917 by	process	validate-classic	00:01:07 Jul 23, 2021
passed	#136419 refs/merge-requests/134/head 190f468e	#50917 by	process	validate	00:00:47 Jul 23, 2021
passed	#136418 refs/merge-requests/134/head 190f468e	#50917 by	build	proof-state	00:06:16 Jul 23, 2021
passed	#136417 refs/merge-requests/134/head 190f468e	#50917 by	build	tutorial	00:01:04 Jul 23, 2021
failed	#136416 refs/merge-requests/134/head 190f468e allowed to fail	#50917 by	build	coq-dev	00:00:41 Jul 23, 2021
passed	#136415 refs/merge-requests/134/head 190f468e	#50917 by	build	coq-8.13	00:03:07 Jul 23, 2021
failed	#136414 refs/merge-requests/134/head 190f468e	#50917 by	build	spell-check	00:00:13 Jul 23, 2021
passed	#136413 refs/merge-requests/134/head 190f468e	#50917 by	build	proof-length	00:00:06 Jul 23, 2021
passed	#136412 refs/merge-requests/134/head 190f468e	#50917 by	build	compile-classic	00:02:02 Jul 23, 2021
passed	#136411 refs/merge-requests/134/head 190f468e	#50917 by	build	compile	00:01:08 Jul 23, 2021
passed	#136410 refs/merge-requests/134/head 190f468e	#50917 by	build	1.12.0-coq-8.13	00:03:25 Jul 23, 2021
passed	#136409 refs/merge-requests/134/head 190f468e	#50917 by	build	1.11.0-coq-8.12	00:03:53 Jul 23, 2021
passed	#136408 refs/merge-requests/134/head 190f468e	#50917 by	build	1.11.0-coq-8.11	00:04:30 Jul 23, 2021
passed	#136407 refs/merge-requests/134/head 190f468e	#50917 by	build	1.10.0-coq-8.11	00:04:32 Jul 23, 2021
passed	#136399 refs/merge-requests/136/head 2b87d4dc	#50913 by	process	doc-classic	00:00:27 Jul 23, 2021
passed	#136398 refs/merge-requests/136/head 2b87d4dc	#50913 by	process	doc	00:00:14 Jul 23, 2021
passed	#136397 refs/merge-requests/136/head 2b87d4dc	#50913 by	process	validate-classic	00:01:05 Jul 23, 2021
passed	#136396 refs/merge-requests/136/head 2b87d4dc	#50913 by	process	validate	00:00:44 Jul 23, 2021
passed	#136395 refs/merge-requests/136/head 2b87d4dc	#50913 by	build	proof-state	00:06:22 Jul 23, 2021
failed	#136394 refs/merge-requests/136/head 2b87d4dc allowed to fail	#50913 by	build	coq-dev	00:04:30 Jul 23, 2021
passed	#136393 refs/merge-requests/136/head 2b87d4dc	#50913 by	build	coq-8.13	00:03:02 Jul 23, 2021
passed	#136392 refs/merge-requests/136/head 2b87d4dc	#50913 by	build	spell-check	00:00:12 Jul 23, 2021
passed	#136391 refs/merge-requests/136/head 2b87d4dc	#50913 by	build	proof-length	00:00:07 Jul 23, 2021
passed	#136390 refs/merge-requests/136/head 2b87d4dc	#50913 by	build	compile-classic	00:01:55 Jul 23, 2021
passed	#136389 refs/merge-requests/136/head 2b87d4dc	#50913 by	build	compile	00:01:03 Jul 23, 2021
passed	#136388 refs/merge-requests/136/head 2b87d4dc	#50913 by	build	1.12.0-coq-8.13	00:03:07 Jul 23, 2021
passed	#136387 refs/merge-requests/136/head 2b87d4dc	#50913 by	build	1.11.0-coq-8.12	00:03:30 Jul 23, 2021