Jobs · pub / Frama-C Website

Status	Job	Pipeline	Stage	Name	Timing
passed	#369466 master fa54240d docker	#31843 by	deploy	pages	00:01:47 Jan 11, 2021
passed	#367792 e-acsl-manual-update-authors 1cb2254e docker	#31738 by	deploy	pages	00:01:50 Jan 06, 2021
passed	#367791 e-acsl-manual-update-authors 1cb2254e docker	#31738 by	css	check-css	00:01:41 Jan 06, 2021
passed	#367790 e-acsl-manual-update-authors 1cb2254e docker	#31738 by	test	test	00:01:24 Jan 06, 2021
passed	#367759 master 45da8092 docker	#31734 by	deploy	pages	00:02:00 Jan 06, 2021
passed	#367757 wp-user-man-add-allan bc2ce3d3 docker	#31733 by	deploy	pages	00:03:00 Jan 06, 2021
passed	#367756 wp-user-man-add-allan bc2ce3d3 docker	#31733 by	css	check-css	00:02:07 Jan 06, 2021
passed	#367755 wp-user-man-add-allan bc2ce3d3 docker	#31733 by	test	test	00:02:32 Jan 06, 2021
passed	#367491 add-counter-examples 2b9cadf6 docker	#31708 by	deploy	pages	00:01:47 Jan 05, 2021
passed	#367490 add-counter-examples 2b9cadf6 docker	#31708 by	css	check-css	00:01:37 Jan 05, 2021
passed	#367489 add-counter-examples 2b9cadf6 docker	#31708 by	test	test	00:01:37 Jan 05, 2021
passed	#367487 add-counter-examples 61e5fb32 docker	#31707 by	deploy	pages	00:01:53 Jan 05, 2021
passed	#367486 add-counter-examples 61e5fb32 docker	#31707 by	css	check-css	00:01:43 Jan 05, 2021
passed	#367485 add-counter-examples 61e5fb32 docker	#31707 by	test	test	00:01:35 Jan 05, 2021
passed	#367336 master 746fb599 docker	#31698 by	deploy	pages	00:02:30 Jan 05, 2021
passed	#367275 fix/rte/manual a5b8029d docker	#31690 by	deploy	pages	00:04:37 Jan 05, 2021
passed	#367274 fix/rte/manual a5b8029d docker	#31690 by	css	check-css	00:02:32 Jan 05, 2021
passed	#367273 fix/rte/manual a5b8029d docker	#31690 by	test	test	00:03:31 Jan 05, 2021
passed	#362608 master f02b41e1 docker	#31405 by	deploy	pages	00:01:11 Dec 11, 2020
passed	#362504 feature/main/what-s-new aa57b6dc docker	#31396 by	deploy	pages	00:01:37 Dec 11, 2020
passed	#362503 feature/main/what-s-new aa57b6dc docker	#31396 by	css	check-css	00:01:25 Dec 11, 2020
passed	#362502 feature/main/what-s-new aa57b6dc docker	#31396 by	test	test	00:01:29 Dec 11, 2020
passed	#362250 feature/main/what-s-new ee193530 docker	#31381 by	deploy	pages	00:02:08 Dec 10, 2020
passed	#362249 feature/main/what-s-new ee193530 docker	#31381 by	css	check-css	00:02:23 Dec 10, 2020
passed	#362248 feature/main/what-s-new ee193530 docker	#31381 by	test	test	00:01:38 Dec 10, 2020
passed	#361946 master 4487b2e9 docker	#31364 by	deploy	pages	00:01:47 Dec 10, 2020
passed	#361822 blog-fixes 9ff53d42 docker	#31357 by	deploy	pages	00:01:21 Dec 10, 2020
passed	#361821 blog-fixes 9ff53d42 docker	#31357 by	css	check-css	00:01:22 Dec 10, 2020
passed	#361820 blog-fixes 9ff53d42 docker	#31357 by	test	test	00:01:11 Dec 10, 2020
passed	#361818 master 3ba4200e docker	#31356 by	deploy	pages	00:01:28 Dec 10, 2020