• Operation type:(any)ci-ocluster-builddocker-peekgit-fetchgithub-set-statusopam-ci-analyseopam-ci-lint
• Result:(any)PassedFailed
• Needs rebuild:(any)TrueFalse
• Date:

	Job	Build #	Result	Rebuild?	Finished	Queue / run time
	2026-03-16/191455-ci-ocluster-build-14313f	0	OK	-	2026-03-16 22:26:30	3h9min / 3min14s
	2026-03-16/191454-ci-ocluster-build-23ed8d	0	OK	-	2026-03-16 22:26:29	3h4min / 7min54s
	2026-03-16/191455-ci-ocluster-build-b1e6ac	0	OK	-	2026-03-16 22:26:25	3h9min / 3min18s
	2026-03-16/191455-ci-ocluster-build-13aa37	0	OK	-	2026-03-16 22:26:25	3h4min / 7min37s
	2026-03-16/191455-ci-ocluster-build-e4732a	0	OK	-	2026-03-16 22:26:25	3h9min / 3min5s
	2026-03-16/191451-ci-ocluster-build-e4b68c	0	OK	-	2026-03-16 22:26:22	2h46min / 25min48s
	2026-03-16/191455-ci-ocluster-build-496f62	0	OK	-	2026-03-16 22:26:14	3h7min / 4min58s
	2026-03-16/191455-ci-ocluster-build-3a62a6	0	OK	-	2026-03-16 22:26:12	3h7min / 4min31s
	2026-03-16/191455-ci-ocluster-build-c55244	0	OK	-	2026-03-16 22:26:12	3h7min / 4min56s
	2026-03-16/191455-ci-ocluster-build-e9a098	0	OK	-	2026-03-16 22:26:11	3h7min / 4min55s
	2026-03-16/191455-ci-ocluster-build-cc20b6	0	OK	-	2026-03-16 22:26:11	3h7min / 4min33s
	2026-03-16/191455-ci-ocluster-build-e1e36a	0	OK	-	2026-03-16 22:26:11	3h6min / 5min41s
	2026-03-16/191451-ci-ocluster-build-4c9a4d	0	OK	-	2026-03-16 22:26:10	2h47min / 25min14s
	2026-03-16/191455-ci-ocluster-build-7e1a53	0	OK	-	2026-03-16 22:26:10	3h7min / 4min29s
	2026-03-16/191451-ci-ocluster-build-45eef2	0	OK	-	2026-03-16 22:26:05	2h55min / 16min16s
	2026-03-16/191451-ci-ocluster-build-af5660	0	OK	-	2026-03-16 22:26:05	2h49min / 22min47s
	2026-03-16/191455-ci-ocluster-build-a43c99	0	The installation of frama-c failed at "make PREFIX=/home/opam/.opam/4.14 MANDIR=/home/opam/.opam/4.14/man install".	-	2026-03-16 22:25:59	3h5min / 6min46s
	2026-03-16/191455-ci-ocluster-build-4be503	0	OK	-	2026-03-16 22:25:58	3h8min / 3min10s
	2026-03-16/191455-ci-ocluster-build-790024	0	OK	-	2026-03-16 22:25:57	3h7min / 4min32s
	2026-03-16/191455-ci-ocluster-build-8f329d	0	OK	-	2026-03-16 22:25:57	3h7min / 4min32s
	2026-03-16/191455-ci-ocluster-build-0455d5	0	OK	-	2026-03-16 22:25:54	3h8min / 3min14s
	2026-03-16/191455-ci-ocluster-build-0ab979	0	OK	-	2026-03-16 22:25:53	3h8min / 3min11s
	2026-03-16/191455-ci-ocluster-build-71e18d	0	OK	-	2026-03-16 22:25:50	3h7min / 4min16s
	2026-03-16/191455-ci-ocluster-build-5e6700	0	OK	-	2026-03-16 22:25:47	3h7min / 4min38s
	2026-03-16/191455-ci-ocluster-build-b1b1a0	0	OK	-	2026-03-16 22:25:46	3h8min / 3min8s
	2026-03-16/191455-ci-ocluster-build-50b897	0	OK	-	2026-03-16 22:25:45	3h8min / 2min50s
	2026-03-16/191455-ci-ocluster-build-1adb6e	0	OK	-	2026-03-16 22:25:44	3h7min / 4min18s
	2026-03-16/191455-ci-ocluster-build-c3e9c9	0	OK	-	2026-03-16 22:25:43	3h7min / 4min10s
	2026-03-16/191455-ci-ocluster-build-7e0d8f	0	OK	-	2026-03-16 22:25:43	3h7min / 4min12s
	2026-03-16/191455-ci-ocluster-build-28b0d3	0	OK	-	2026-03-16 22:25:41	3h8min / 2min46s
	2026-03-16/191455-ci-ocluster-build-d82dca	0	OK	-	2026-03-16 22:25:38	3h7min / 4min31s
	2026-03-16/191455-ci-ocluster-build-efafa4	0	OK	-	2026-03-16 22:25:38	3h9min / 2min26s
	2026-03-16/191455-ci-ocluster-build-464337	0	OK	-	2026-03-16 22:25:37	3h7min / 4min11s
	2026-03-16/191451-ci-ocluster-build-339d1b	0	OK	-	2026-03-16 22:25:37	2h53min / 18min
	2026-03-16/191451-ci-ocluster-build-78f8e7	0	OK	-	2026-03-16 22:25:35	2h52min / 18min59s
	2026-03-16/191455-ci-ocluster-build-26fbb8	0	The installation of frama-c failed at "make PREFIX=/home/opam/.opam/4.14 MANDIR= install".	-	2026-03-16 22:25:32	3h5min / 6min19s
	2026-03-16/191451-ci-ocluster-build-c42dc2	0	OK	-	2026-03-16 22:25:30	2h56min / 15min30s
	2026-03-16/191455-ci-ocluster-build-b00ac7	0	OK	-	2026-03-16 22:25:29	3h7min / 3min42s
	2026-03-16/191455-ci-ocluster-build-df0a94	0	Failed to get sources of sexplib0.v0.17.0: curl failed	-	2026-03-16 22:25:27	3h8min / 2min50s
	2026-03-16/191454-ci-ocluster-build-60ab9d	0	frama-c.22.0 failed to build	-	2026-03-16 22:25:25	3h2min / 9min21s
	2026-03-16/191451-ci-ocluster-build-ce007a	0	OK	-	2026-03-16 22:25:23	2h52min / 19min18s
	2026-03-16/191451-ci-ocluster-build-31fa66	0	OK	-	2026-03-16 22:25:21	2h49min / 21min35s
	2026-03-16/191451-ci-ocluster-build-1e9ba9	0	OK	-	2026-03-16 22:25:18	2h47min / 23min34s
	2026-03-16/191455-ci-ocluster-build-5a8605	0	OK	-	2026-03-16 22:25:18	3h7min / 3min53s
	2026-03-16/191451-ci-ocluster-build-327034	0	OK	-	2026-03-16 22:25:16	2h51min / 19min54s
	2026-03-16/191455-ci-ocluster-build-2b7485	0	OK	-	2026-03-16 22:25:16	3h7min / 4min6s
	2026-03-16/191454-ci-ocluster-build-c020ba	0	OK	-	2026-03-16 22:25:15	2h59min / 11min32s
	2026-03-16/191455-ci-ocluster-build-7af562	0	OK	-	2026-03-16 22:25:15	3h9min / 2min6s
	2026-03-16/191451-ci-ocluster-build-c12e34	0	OK	-	2026-03-16 22:25:12	2h51min / 19min52s
	2026-03-16/191455-ci-ocluster-build-0d83fa	0	OK	-	2026-03-16 22:25:11	3h9min / 1min33s
	2026-03-16/191451-ci-ocluster-build-d934d3	0	OK	-	2026-03-16 22:25:11	2h56min / 15min9s
	2026-03-16/191451-ci-ocluster-build-266d94	0	OK	-	2026-03-16 22:25:10	2h50min / 21min14s
	2026-03-16/191455-ci-ocluster-build-1050ab	0	OK	-	2026-03-16 22:25:10	3h4min / 6min23s
	2026-03-16/191455-ci-ocluster-build-c813b5	0	OK	-	2026-03-16 22:25:09	3h9min / 1min31s
	2026-03-16/191451-ci-ocluster-build-706531	0	OK	-	2026-03-16 22:25:09	2h56min / 15min9s
	2026-03-16/191455-ci-ocluster-build-5e6f59	0	Failed to get sources of sexplib0.v0.17.0: curl failed	-	2026-03-16 22:25:09	3h8min / 2min33s
	2026-03-16/191455-ci-ocluster-build-32ca7d	0	OK	-	2026-03-16 22:25:09	3h7min / 3min50s
	2026-03-16/191455-ci-ocluster-build-a26822	0	OK	-	2026-03-16 22:25:09	3h7min / 3min46s
	2026-03-16/191455-ci-ocluster-build-055a7a	0	OK	-	2026-03-16 22:25:09	3h9min / 1min30s
	2026-03-16/191455-ci-ocluster-build-0a096e	0	Failed to get sources of sexplib0.v0.17.0: curl failed	-	2026-03-16 22:25:09	3h8min / 2min32s
	2026-03-16/191455-ci-ocluster-build-e5eb93	0	OK	-	2026-03-16 22:25:08	3h6min / 4min13s
	2026-03-16/191455-ci-ocluster-build-f17cbe	0	OK	-	2026-03-16 22:25:08	3h9min / 1min39s
	2026-03-16/191455-ci-ocluster-build-9d6d48	0	OK	-	2026-03-16 22:25:08	3h9min / 1min48s
	2026-03-16/191455-ci-ocluster-build-8494f8	0	OK	-	2026-03-16 22:25:07	3h8min / 2min26s
	2026-03-16/191455-ci-ocluster-build-72f50a	0	The installation of frama-c failed at "make PREFIX=/home/opam/.opam/4.14 MANDIR= install".	-	2026-03-16 22:25:06	3h5min / 5min51s
	2026-03-16/191454-ci-ocluster-build-9b2013	0	OK	-	2026-03-16 22:25:06	3h4min / 6min49s
	2026-03-16/191455-ci-ocluster-build-3248c2	0	OK	-	2026-03-16 22:25:04	3h6min / 4min10s
	2026-03-16/191455-ci-ocluster-build-6e4174	0	OK	-	2026-03-16 22:25:04	3h9min / 1min45s
	2026-03-16/191451-ci-ocluster-build-dcbea3	0	OK	-	2026-03-16 22:25:02	2h56min / 14min45s
	2026-03-16/191451-ci-ocluster-build-6fe92f	0	OK	-	2026-03-16 22:25:01	2h54min / 16min31s
	2026-03-16/191455-ci-ocluster-build-4f44c9	0	OK	-	2026-03-16 22:25:01	3h7min / 3min24s
	2026-03-16/191455-ci-ocluster-build-8d13e2	0	OK	-	2026-03-16 22:25:00	3h7min / 3min47s
	2026-03-16/191451-ci-ocluster-build-c63c99	0	OK	-	2026-03-16 22:25:00	2h48min / 22min33s
	2026-03-16/191455-ci-ocluster-build-5e65e4	0	OK	-	2026-03-16 22:25:00	3h7min / 3min44s
	2026-03-16/191455-ci-ocluster-build-0f626d	0	frama-c.26.1 failed to build	-	2026-03-16 22:24:59	3h4min / 6min11s
	2026-03-16/191455-ci-ocluster-build-f7bca7	0	OK	-	2026-03-16 22:24:59	3h7min / 3min49s
	2026-03-16/191454-ci-ocluster-build-52aba0	0	OK	-	2026-03-16 22:24:57	2h59min / 11min5s
	2026-03-16/191455-ci-ocluster-build-f7aadb	0	OK	-	2026-03-16 22:24:56	3h9min / 1min20s
	2026-03-16/191455-ci-ocluster-build-1ed81f	0	OK	-	2026-03-16 22:24:54	3h9min / 1min25s
	2026-03-16/191451-ci-ocluster-build-bc5d02	0	OK	-	2026-03-16 22:24:54	2h46min / 24min32s
	2026-03-16/191451-ci-ocluster-build-6a3a5b	0	OK	-	2026-03-16 22:24:54	2h46min / 24min21s
	2026-03-16/191455-ci-ocluster-build-3c81b5	0	OK	-	2026-03-16 22:24:53	3h9min / 1min17s
	2026-03-16/191455-ci-ocluster-build-3519f4	0	OK	-	2026-03-16 22:24:52	3h4min / 6min1s
	2026-03-16/191455-ci-ocluster-build-54cc1b	0	OK	-	2026-03-16 22:24:50	3h7min / 3min47s
	2026-03-16/191455-ci-ocluster-build-8954d4	0	OK	-	2026-03-16 22:24:50	3h9min / 1min42s
	2026-03-16/191450-ci-ocluster-build-fdc86c	0	OK	-	2026-03-16 22:24:49	2h31min / 39min29s
	2026-03-16/191451-ci-ocluster-build-fc2f63	0	OK	-	2026-03-16 22:24:44	2h54min / 16min37s
	2026-03-16/191455-ci-ocluster-build-9d781e	0	OK	-	2026-03-16 22:24:44	3h9min / 1min15s
	2026-03-16/191455-ci-ocluster-build-f53a1e	0	OK	-	2026-03-16 22:24:42	3h8min / 1min47s
	2026-03-16/191455-ci-ocluster-build-4154c0	0	OK	-	2026-03-16 22:24:42	3h4min / 5min52s
	2026-03-16/191450-ci-ocluster-build-b9021b	0	OK	-	2026-03-16 22:24:39	2h22min / 48min3s
	2026-03-16/191455-ci-ocluster-build-0171cb	0	OK	-	2026-03-16 22:24:39	3h4min / 5min53s
	2026-03-16/191455-ci-ocluster-build-02d2e0	0	OK	-	2026-03-16 22:24:39	3h8min / 1min51s
	2026-03-16/191451-ci-ocluster-build-f56fef	0	OK	-	2026-03-16 22:24:39	2h48min / 22min29s
	2026-03-16/191455-ci-ocluster-build-6bb145	0	OK	-	2026-03-16 22:24:37	3h9min / 1min15s
	2026-03-16/191451-ci-ocluster-build-7a8fca	0	OK	-	2026-03-16 22:24:36	2h47min / 22min46s
	2026-03-16/191455-ci-ocluster-build-4fa871	0	OK	-	2026-03-16 22:24:34	3h6min / 4min10s
	2026-03-16/191451-ci-ocluster-build-03977a	0	OK	-	2026-03-16 22:24:34	2h52min / 18min8s
	2026-03-16/191455-ci-ocluster-build-64adec	0	OK	-	2026-03-16 22:24:34	3h8min / 1min48s
	2026-03-16/191455-ci-ocluster-build-c8d282	0	OK	-	2026-03-16 22:24:33	3h7min / 3min5s