opam-ci

Job	Result	Rebuild?	Finished	Queue / run time
2026-04-20/170623-ci-ocluster-build-ec05a3	OK	-	2026-04-20 17:17:27	7min14s / 3min50s
2026-04-20/163136-ci-ocluster-build-558b6e	OK	-	2026-04-20 17:17:26	42min54s / 2min56s
2026-04-20/170623-ci-ocluster-build-e4ab39	OK	-	2026-04-20 17:17:25	7min1s / 4min1s
2026-04-20/170623-ci-ocluster-build-bac2d1	Sorry, resolution of the request timed out.	-	2026-04-20 17:17:24	9min17s / 1min44s
2026-04-20/170623-ci-ocluster-build-fcf1e9	Sorry, resolution of the request timed out.	-	2026-04-20 17:17:24	9min17s / 1min44s
2026-04-20/170623-ci-ocluster-build-fb5e83	[SKIP] Package not available	-	2026-04-20 17:17:21	8min19s / 2min39s
2026-04-20/170623-ci-ocluster-build-ad267f	[SKIP] Package not available	-	2026-04-20 17:17:19	7min45s / 3min11s
2026-04-20/170623-ci-ocluster-build-024c77	[SKIP] Package not available	-	2026-04-20 17:17:19	7min45s / 3min11s
2026-04-20/170622-ci-ocluster-build-a1a80d	OK	-	2026-04-20 17:17:19	3s / 10min54s
2026-04-20/170623-ci-ocluster-build-8a4fa7	OK	-	2026-04-20 17:17:18	7min5s / 3min50s
2026-04-20/170623-ci-ocluster-build-31cd69	OK	-	2026-04-20 17:17:16	8min12s / 2min41s
2026-04-20/170623-ci-ocluster-build-504186	OK	-	2026-04-20 17:17:13	8min13s / 2min37s
2026-04-20/170623-ci-ocluster-build-47fa49	[SKIP] Package not available	-	2026-04-20 17:17:12	8min1s / 2min48s
2026-04-20/170623-ci-ocluster-build-048c30	[SKIP] Package not available	-	2026-04-20 17:17:12	10min26s / 23s
2026-04-20/170623-ci-ocluster-build-3a2236	[SKIP] Package not available	-	2026-04-20 17:17:11	10min25s / 23s
2026-04-20/170623-ci-ocluster-build-edb39a	OK	-	2026-04-20 17:17:11	8min17s / 2min31s
2026-04-20/170622-ci-ocluster-build-b95085	conflicting types for '__goblint_assume_join'; have 'void(pthread_t)' {aka 'void(long unsigned int)'}	-	2026-04-20 17:17:05	3min52s / 6min51s
2026-04-20/170622-ci-ocluster-build-2a80f7	conflicting types for '__goblint_assume_join'; have 'void(pthread_t)' {aka 'void(long unsigned int)'}	-	2026-04-20 17:17:05	4min24s / 6min19s
2026-04-20/170623-ci-ocluster-build-1ac0bc	OK	-	2026-04-20 17:17:03	8min1s / 2min39s
2026-04-20/170623-ci-ocluster-build-f1b6eb	OK	-	2026-04-20 17:17:03	8min19s / 2min21s
2026-04-20/170622-ci-ocluster-build-7ca9bc	OK	-	2026-04-20 17:17:03	5s / 10min36s
2026-04-20/170623-ci-ocluster-build-81f074	[SKIP] Package not available	-	2026-04-20 17:17:03	7min28s / 3min12s
2026-04-20/170623-ci-ocluster-build-8ac3f7	[SKIP] Package not available	-	2026-04-20 17:17:03	7min27s / 3min13s
2026-04-20/170623-ci-ocluster-build-e3e9a9	[SKIP] Package not available	-	2026-04-20 17:17:03	7min38s / 3min2s
2026-04-20/170623-ci-ocluster-build-999318	[SKIP] Package not available	-	2026-04-20 17:17:03	7min38s / 3min2s
2026-04-20/170623-ci-ocluster-build-5d9738	OK	-	2026-04-20 17:17:02	6min / 4min39s
2026-04-20/170623-ci-ocluster-build-90b438	conflicting types for '__goblint_assume_join'; have 'void(pthread_t)' {aka 'void(long unsigned int)'}	-	2026-04-20 17:17:02	6min48s / 3min51s
2026-04-20/170623-ci-ocluster-build-627143	conflicting types for '__goblint_assume_join'; have 'void(pthread_t)' {aka 'void(long unsigned int)'}	-	2026-04-20 17:17:02	6min3s / 4min36s
2026-04-20/170623-ci-ocluster-build-60ba67	conflicting types for '__goblint_assume_join'; have 'void(pthread_t)' {aka 'void(long unsigned int)'}	-	2026-04-20 17:17:02	6min5s / 4min34s
2026-04-20/170623-ci-ocluster-build-bcbdf2	conflicting types for '__goblint_assume_join'; have 'void(pthread_t)' {aka 'void(long unsigned int)'}	-	2026-04-20 17:17:02	6min4s / 4min35s
2026-04-20/162336-ci-ocluster-build-f4599d	[SKIP] Package not available	-	2026-04-20 17:17:00	52min49s / 35s
2026-04-20/170623-ci-ocluster-build-c8aa33	OK	-	2026-04-20 17:17:00	8min31s / 2min6s
2026-04-20/162336-ci-ocluster-build-4b81d3	[SKIP] Package not available	-	2026-04-20 17:16:59	52min49s / 34s
2026-04-20/170622-ci-ocluster-build-d0cd96	OK	-	2026-04-20 17:16:58	7s / 10min29s
2026-04-20/170623-ci-ocluster-build-02530a	conflicting types for '__goblint_assume_join'; have 'void(pthread_t)' {aka 'void(long unsigned int)'}	-	2026-04-20 17:16:52	5min56s / 4min33s
2026-04-20/170623-ci-ocluster-build-f76c06	conflicting types for '__goblint_assume_join'; have 'void(pthread_t)' {aka 'void(long unsigned int)'}	-	2026-04-20 17:16:52	5min56s / 4min33s
2026-04-20/170622-ci-ocluster-build-9d9ef0	[SKIP] Package not available	-	2026-04-20 17:16:51	1min28s / 9min1s
2026-04-20/170622-ci-ocluster-build-d2e058	[SKIP] Package not available	-	2026-04-20 17:16:50	1min28s / 9min
2026-04-20/170622-ci-ocluster-build-81fd5d	OK	-	2026-04-20 17:16:50	4s / 10min24s
2026-04-20/170623-ci-ocluster-build-d8b116	[SKIP] Package not available	-	2026-04-20 17:16:50	9min9s / 1min18s
2026-04-20/170623-ci-ocluster-build-10d53a	[SKIP] Package not available	-	2026-04-20 17:16:50	9min10s / 1min17s
2026-04-20/170623-ci-ocluster-build-8ba134	[SKIP] Package not available	-	2026-04-20 17:16:49	10min5s / 21s
2026-04-20/170623-ci-ocluster-build-a17a43	[SKIP] Package not available	-	2026-04-20 17:16:49	10min5s / 21s
2026-04-20/170622-ci-ocluster-build-77bc6f	OK	-	2026-04-20 17:16:48	3s / 10min23s
2026-04-20/170622-ci-ocluster-build-25e276	OK	-	2026-04-20 17:16:48	2s / 10min24s
2026-04-20/170622-ci-ocluster-build-4103ac	OK	-	2026-04-20 17:16:48	36s / 9min50s
2026-04-20/170623-ci-ocluster-build-8ca2a5	[SKIP] Package not available	-	2026-04-20 17:16:45	8min54s / 1min28s
2026-04-20/170623-ci-ocluster-build-b4aa98	[SKIP] Package not available	-	2026-04-20 17:16:44	8min46s / 1min35s
2026-04-20/170622-ci-ocluster-build-9d34d2	conflicting types for '__goblint_assume_join'; have 'void(pthread_t)' {aka 'void(long unsigned int)'}	-	2026-04-20 17:16:42	5min39s / 4min41s
2026-04-20/170623-ci-ocluster-build-7f77fd	[SKIP] Package not available	-	2026-04-20 17:16:42	9min1s / 1min18s
2026-04-20/170623-ci-ocluster-build-920440	[SKIP] Package not available	-	2026-04-20 17:16:42	9min28s / 51s
2026-04-20/165558-ci-ocluster-build-0b7ee4	OK	-	2026-04-20 17:16:42	1s / 20min43s
2026-04-20/170622-ci-ocluster-build-3010b6	conflicting types for '__goblint_assume_join'; have 'void(pthread_t)' {aka 'void(long unsigned int)'}	-	2026-04-20 17:16:41	5min43s / 4min36s
2026-04-20/170622-ci-ocluster-build-4f5db9	OK	-	2026-04-20 17:16:40	3s / 10min15s
2026-04-20/170622-ci-ocluster-build-73d03f	OK	-	2026-04-20 17:16:37	2s / 10min13s
2026-04-20/170623-ci-ocluster-build-4da465	conflicting types for '__goblint_assume_join'; have 'void(pthread_t)' {aka 'void(long unsigned int)'}	-	2026-04-20 17:16:37	5min56s / 4min18s
2026-04-20/170623-ci-ocluster-build-adcc15	conflicting types for '__goblint_assume_join'; have 'void(pthread_t)' {aka 'void(long unsigned int)'}	-	2026-04-20 17:16:37	5min57s / 4min17s
2026-04-20/170623-ci-ocluster-build-d01047	[SKIP] Package not available	-	2026-04-20 17:16:36	9min1s / 1min12s
2026-04-20/170623-ci-ocluster-build-b47668	[SKIP] Package not available	-	2026-04-20 17:16:36	8min36s / 1min37s
2026-04-20/165558-ci-ocluster-build-73161f	OK	-	2026-04-20 17:16:34	1s / 20min35s
2026-04-20/144950-ci-ocluster-build-75ebe2	[SKIP] Package not available	-	2026-04-20 17:16:30	2h26min / 1min4s
2026-04-20/170622-ci-ocluster-build-230645	OK	-	2026-04-20 17:16:29	57s / 9min10s
2026-04-20/170623-ci-ocluster-build-31266f	OK	-	2026-04-20 17:16:28	6min48s / 3min17s
2026-04-20/170622-ci-ocluster-build-7d335f	OK	-	2026-04-20 17:16:28	5min36s / 4min30s
2026-04-20/170623-ci-ocluster-build-216a22	OK	-	2026-04-20 17:16:28	6min28s / 3min37s
2026-04-20/170623-ci-ocluster-build-87cece	[SKIP] Package not available	-	2026-04-20 17:16:26	8min36s / 1min27s
2026-04-20/170623-ci-ocluster-build-02c403	[SKIP] Package not available	-	2026-04-20 17:16:26	8min31s / 1min32s
2026-04-20/170622-ci-ocluster-build-7d99ce	OK	-	2026-04-20 17:16:26	5min29s / 4min35s
2026-04-20/162336-ci-ocluster-build-77b3d5	[SKIP] Package not available	-	2026-04-20 17:16:25	52min31s / 18s
2026-04-20/162336-ci-ocluster-build-4b3de1	[SKIP] Package not available	-	2026-04-20 17:16:25	50min49s / 2min
2026-04-20/170623-ci-ocluster-build-13b7ee	OK	-	2026-04-20 17:16:25	7min46s / 2min16s
2026-04-20/170622-ci-ocluster-build-ce5150	conflicting types for '__goblint_assume_join'; have 'void(pthread_t)' {aka 'void(long unsigned int)'}	-	2026-04-20 17:16:25	5min43s / 4min20s
2026-04-20/170622-ci-ocluster-build-6b3372	conflicting types for '__goblint_assume_join'; have 'void(pthread_t)' {aka 'void(long unsigned int)'}	-	2026-04-20 17:16:25	5min56s / 4min7s
2026-04-20/170623-ci-ocluster-build-a0a1d4	OK	-	2026-04-20 17:16:23	7min55s / 2min5s
2026-04-20/170623-ci-ocluster-build-cbebce	conflicting types for ‘__goblint_assume_join’; have ‘void(pthread_t)’ {aka ‘void(long unsigned int)’}	-	2026-04-20 17:16:22	7min22s / 2min37s
2026-04-20/170623-ci-ocluster-build-f732a5	conflicting types for ‘__goblint_assume_join’; have ‘void(pthread_t)’ {aka ‘void(long unsigned int)’}	-	2026-04-20 17:16:21	7min22s / 2min36s
2026-04-20/170622-ci-ocluster-build-ba25fb	OK	-	2026-04-20 17:16:19	2s / 9min55s
2026-04-20/170622-ci-ocluster-build-0edb46	OK	-	2026-04-20 17:16:17	4min41s / 5min14s
2026-04-20/170622-ci-ocluster-build-44d3e1	OK	-	2026-04-20 17:16:16	4min47s / 5min7s
2026-04-20/170622-ci-ocluster-build-ca22d4	OK	-	2026-04-20 17:16:15	2s / 9min51s
2026-04-20/170623-ci-ocluster-build-2ad4e8	OK	-	2026-04-20 17:16:15	6min23s / 3min29s
2026-04-20/170622-ci-ocluster-build-de7f09	OK	-	2026-04-20 17:16:13	3s / 9min48s
2026-04-20/170622-ci-ocluster-build-dc0c9f	[SKIP] Package not available	-	2026-04-20 17:16:12	51s / 8min59s
2026-04-20/170622-ci-ocluster-build-de3f05	OK	-	2026-04-20 17:16:12	4s / 9min46s
2026-04-20/170623-ci-ocluster-build-0347eb	[SKIP] Package not available	-	2026-04-20 17:16:09	8min18s / 1min28s
2026-04-20/170623-ci-ocluster-build-b07653	[SKIP] Package not available	-	2026-04-20 17:16:09	8min24s / 1min22s
2026-04-20/162336-ci-ocluster-build-fbf353	OK	-	2026-04-20 17:16:07	45min11s / 7min20s
2026-04-20/170622-ci-ocluster-build-eb3d1d	[SKIP] Package not available	-	2026-04-20 17:16:06	2min27s / 7min17s
2026-04-20/144950-ci-ocluster-build-cac018	[SKIP] Package not available	-	2026-04-20 17:16:05	2h26min / 1min2s
2026-04-20/170623-ci-ocluster-build-47cf8f	conflicting types for '__goblint_assume_join'; have 'void(pthread_t)' {aka 'void(long unsigned int)'}	-	2026-04-20 17:16:05	6min18s / 3min24s
2026-04-20/170623-ci-ocluster-build-dfda08	conflicting types for '__goblint_assume_join'; have 'void(pthread_t)' {aka 'void(long unsigned int)'}	-	2026-04-20 17:16:05	6min18s / 3min24s
2026-04-20/170623-ci-ocluster-build-9cad3f	OK	-	2026-04-20 17:16:05	7min3s / 2min39s
2026-04-20/170622-ci-ocluster-build-064a4f	OK	-	2026-04-20 17:16:04	3s / 9min39s
2026-04-20/170623-ci-ocluster-build-1e9be7	conflicting types for '__goblint_assume_join'; have 'void(pthread_t)' {aka 'void(long unsigned int)'}	-	2026-04-20 17:16:04	6min17s / 3min24s
2026-04-20/170623-ci-ocluster-build-2ed362	conflicting types for '__goblint_assume_join'; have 'void(pthread_t)' {aka 'void(long unsigned int)'}	-	2026-04-20 17:16:04	6min17s / 3min24s
2026-04-20/170623-ci-ocluster-build-292129	conflicting types for '__goblint_assume_join'; have 'void(pthread_t)' {aka 'void(long unsigned int)'}	-	2026-04-20 17:16:04	6min20s / 3min21s
2026-04-20/170623-ci-ocluster-build-ed816b	conflicting types for '__goblint_assume_join'; have 'void(pthread_t)' {aka 'void(long unsigned int)'}	-	2026-04-20 17:16:04	6min19s / 3min22s
2026-04-20/170622-ci-ocluster-build-f1b1b3	OK	-	2026-04-20 17:16:04	4min42s / 5min
2026-04-20/170622-ci-ocluster-build-da2132	conflicting types for ‘__goblint_assume_join’; have ‘void(pthread_t)’ {aka ‘void(long unsigned int)’}	-	2026-04-20 17:16:03	3min19s / 6min22s
2026-04-20/170622-ci-ocluster-build-4e9dae	conflicting types for ‘__goblint_assume_join’; have ‘void(pthread_t)’ {aka ‘void(long unsigned int)’}	-	2026-04-20 17:16:03	3min16s / 6min25s