opam-ci
Home
Query
Log analysis
Jobs
Log in
Operation type:
(any)
ci-ocluster-build
docker-peek
git-fetch
github-set-status
opam-ci-analyse
opam-ci-lint
Result:
(any)
Passed
Failed
Needs rebuild:
(any)
True
False
Date:
Job
Build #
Result
Rebuild?
Finished
Queue / run time
2026-01-07/225039-github-set-status-98e505
4
OK
-
2026-01-07 22:50:39
0 / 0
2026-01-07/205010-ci-ocluster-build-05c9f5
1
Cancelled
-
2026-01-07 22:50:38
20s / 2h1min
2026-01-07/205010-github-set-status-583045
3
OK
-
2026-01-07 20:50:11
0 / 1s
2026-01-07/202247-github-set-status-b12587
1
OK
-
2026-01-07 20:22:48
0 / 1s
2026-01-07/185749-ci-ocluster-build-4aa654
0
OK
-
2026-01-07 20:22:47
1h25min / 53s
2026-01-07/185749-ci-ocluster-build-4f9003
0
OK
-
2026-01-07 20:21:54
19min50s / 1h5min
2026-01-07/185749-ci-ocluster-build-e9c48e
0
[SKIP] Package not available
-
2026-01-07 19:35:54
36min28s / 1min37s
2026-01-07/185749-ci-ocluster-build-ca4d2b
0
[SKIP] Package not available
-
2026-01-07 19:34:16
25min25s / 11min2s
2026-01-07/185749-ci-ocluster-build-5642ca
0
expected ')' before 'format'
-
2026-01-07 19:20:43
3min11s / 19min43s
2026-01-07/185749-ci-ocluster-build-4c1049
0
expected ')' before 'format'
-
2026-01-07 19:20:43
3min9s / 19min45s
2026-01-07/185749-ci-ocluster-build-e76b38
0
expected ')' before 'format'
-
2026-01-07 19:19:46
2min33s / 19min24s
2026-01-07/185749-ci-ocluster-build-5bfbe7
0
expected ')' before 'format'
-
2026-01-07 19:19:45
2min33s / 19min23s
2026-01-07/185749-ci-ocluster-build-a3b1f7
0
OK
-
2026-01-07 19:16:54
2min28s / 16min37s
2026-01-07/185749-ci-ocluster-build-f793c2
0
[SKIP] Package not available
-
2026-01-07 19:10:28
11min59s / 40s
2026-01-07/185749-ci-ocluster-build-98229d
0
OK
-
2026-01-07 19:10:00
2min8s / 10min3s
2026-01-07/185749-ci-ocluster-build-8b6feb
0
OK
-
2026-01-07 19:09:52
3min12s / 8min51s
2026-01-07/185749-ci-ocluster-build-1c0a52
0
[SKIP] Package not available
-
2026-01-07 19:09:48
10min1s / 1min58s
2026-01-07/185749-ci-ocluster-build-cf0897
0
[SKIP] Package not available
-
2026-01-07 19:09:34
4min29s / 7min16s
2026-01-07/185749-ci-ocluster-build-a1dc1f
0
[SKIP] Package not available
-
2026-01-07 19:09:34
4min39s / 7min6s
2026-01-07/185749-ci-ocluster-build-5b0aec
0
'replace' is not a member of 'std'
-
2026-01-07 19:09:33
5min42s / 6min2s
2026-01-07/185749-ci-ocluster-build-b30e28
0
'replace' is not a member of 'std'
-
2026-01-07 19:09:33
5min35s / 6min9s
2026-01-07/185749-ci-ocluster-build-a50339
0
'replace' is not a member of 'std'
-
2026-01-07 19:09:33
5min42s / 6min2s
2026-01-07/185749-ci-ocluster-build-bfb9c8
0
no member named 'to_zarith' in 'bzla::BitVector'
-
2026-01-07 19:09:05
8min58s / 2min18s
2026-01-07/185749-ci-ocluster-build-417b69
0
'replace' is not a member of 'std'
-
2026-01-07 19:08:53
6min2s / 5min2s
2026-01-07/185749-ci-ocluster-build-7e1c07
0
'replace' is not a member of 'std'
-
2026-01-07 19:08:52
6min2s / 5min1s
2026-01-07/185749-ci-ocluster-build-6b8892
0
'replace' is not a member of 'std'
-
2026-01-07 19:08:50
5min47s / 5min14s
2026-01-07/185749-ci-ocluster-build-62bfb7
0
[SKIP] Package not available
-
2026-01-07 19:08:46
4min55s / 6min2s
2026-01-07/185749-ci-ocluster-build-c68c08
0
[SKIP] Package not available
-
2026-01-07 19:08:46
4min44s / 6min13s
2026-01-07/185749-ci-ocluster-build-927c6d
0
[SKIP] Package not available
-
2026-01-07 19:08:46
4min39s / 6min18s
2026-01-07/185749-ci-ocluster-build-cae895
0
[SKIP] Package not available
-
2026-01-07 19:08:46
4min40s / 6min17s
2026-01-07/185749-ci-ocluster-build-6e2765
0
[SKIP] Package not available
-
2026-01-07 19:08:04
4min28s / 5min47s
2026-01-07/185749-ci-ocluster-build-1625e0
0
[SKIP] Package not available
-
2026-01-07 19:08:03
4min28s / 5min46s
2026-01-07/185749-ci-ocluster-build-3eab67
0
no member named 'to_zarith' in 'bzla::BitVector'
-
2026-01-07 19:06:48
59s / 8min
2026-01-07/185749-ci-ocluster-build-9f3405
0
[SKIP] Package not available
-
2026-01-07 19:06:34
6min10s / 2min35s
2026-01-07/185749-ci-ocluster-build-4e0270
0
[SKIP] Package not available
-
2026-01-07 19:06:34
6min2s / 2min43s
2026-01-07/185749-ci-ocluster-build-e66690
0
[SKIP] Package not available
-
2026-01-07 19:06:34
6min10s / 2min35s
2026-01-07/185749-ci-ocluster-build-bf8e40
0
[SKIP] Package not available
-
2026-01-07 19:06:21
6min / 2min32s
2026-01-07/185749-ci-ocluster-build-183ccb
0
[SKIP] Package not available
-
2026-01-07 19:06:21
6min / 2min32s
2026-01-07/185749-ci-ocluster-build-3c55b8
0
[SKIP] Package not available
-
2026-01-07 19:06:21
6min2s / 2min30s
2026-01-07/185749-ci-ocluster-build-b9a329
0
'replace' is not a member of 'std'
-
2026-01-07 19:06:04
5min58s / 2min17s
2026-01-07/185749-ci-ocluster-build-757907
0
'replace' is not a member of 'std'
-
2026-01-07 19:06:04
5min54s / 2min21s
2026-01-07/185749-ci-ocluster-build-bedef7
0
'replace' is not a member of 'std'
-
2026-01-07 19:06:03
5min58s / 2min16s
2026-01-07/185749-ci-ocluster-build-a25d90
0
[SKIP] Package not available
-
2026-01-07 19:05:49
6min15s / 1min45s
2026-01-07/185749-ci-ocluster-build-bb1e95
0
[SKIP] Package not available
-
2026-01-07 19:05:49
6min11s / 1min49s
2026-01-07/185749-ci-ocluster-build-2920d1
0
[SKIP] Package not available
-
2026-01-07 19:05:49
6min5s / 1min55s
2026-01-07/185749-ci-ocluster-build-09764d
0
[SKIP] Package not available
-
2026-01-07 19:05:47
5min25s / 2min33s
2026-01-07/185749-ci-ocluster-build-9944e2
0
[SKIP] Package not available
-
2026-01-07 19:05:47
5min35s / 2min23s
2026-01-07/185749-ci-ocluster-build-95ba2b
0
[SKIP] Package not available
-
2026-01-07 19:05:47
5min25s / 2min33s
2026-01-07/185749-ci-ocluster-build-9a2cd7
0
[SKIP] Package not available
-
2026-01-07 19:05:39
6min1s / 1min49s
2026-01-07/185749-ci-ocluster-build-a03970
0
[SKIP] Package not available
-
2026-01-07 19:05:39
6min1s / 1min49s
2026-01-07/185749-ci-ocluster-build-ff8c88
0
[SKIP] Package not available
-
2026-01-07 19:05:39
6min1s / 1min49s
2026-01-07/185749-ci-ocluster-build-747bac
0
[SKIP] Package not available
-
2026-01-07 19:05:18
4min31s / 2min58s
2026-01-07/185749-ci-ocluster-build-2e615a
0
[SKIP] Package not available
-
2026-01-07 19:05:18
4min31s / 2min58s
2026-01-07/185749-ci-ocluster-build-1c13ad
0
OK
-
2026-01-07 19:05:14
3min22s / 4min3s
2026-01-07/185749-ci-ocluster-build-02d842
0
[SKIP] Package not available
-
2026-01-07 19:05:13
5min31s / 1min53s
2026-01-07/185749-ci-ocluster-build-24cc8d
0
[SKIP] Package not available
-
2026-01-07 19:05:13
5min38s / 1min46s
2026-01-07/185749-ci-ocluster-build-32cafb
0
[SKIP] Package not available
-
2026-01-07 19:05:13
5min38s / 1min46s
2026-01-07/185749-ci-ocluster-build-88e49e
0
[SKIP] Package not available
-
2026-01-07 19:05:12
5min28s / 1min55s
2026-01-07/185749-ci-ocluster-build-60df2a
0
[SKIP] Package not available
-
2026-01-07 19:05:12
5min28s / 1min55s
2026-01-07/185749-ci-ocluster-build-b9ca59
0
[SKIP] Package not available
-
2026-01-07 19:05:12
5min31s / 1min52s
2026-01-07/185749-ci-ocluster-build-d4a719
0
OK
-
2026-01-07 19:05:11
3min20s / 4min2s
2026-01-07/185749-ci-ocluster-build-cf06a3
0
OK
-
2026-01-07 19:05:11
3min19s / 4min3s
2026-01-07/185749-ci-ocluster-build-896c44
0
'replace' is not a member of 'std'
-
2026-01-07 19:05:10
3min24s / 3min57s
2026-01-07/185749-ci-ocluster-build-fe04f4
0
'replace' is not a member of 'std'
-
2026-01-07 19:05:10
3min28s / 3min53s
2026-01-07/185749-ci-ocluster-build-7c20be
0
[SKIP] Package not available
-
2026-01-07 19:04:55
4min15s / 2min51s
2026-01-07/185749-ci-ocluster-build-387900
0
[SKIP] Package not available
-
2026-01-07 19:04:55
4min33s / 2min33s
2026-01-07/185749-ci-ocluster-build-32a1f7
0
OK
-
2026-01-07 19:04:54
2min15s / 4min50s
2026-01-07/185749-ci-ocluster-build-b1e8aa
0
'replace' is not a member of 'std'
-
2026-01-07 19:04:52
2min17s / 4min46s
2026-01-07/185749-ci-ocluster-build-ecf4c4
0
'replace' is not a member of 'std'
-
2026-01-07 19:04:52
2min50s / 4min13s
2026-01-07/185749-ci-ocluster-build-3373df
0
[SKIP] Package not available
-
2026-01-07 19:04:50
3min53s / 3min8s
2026-01-07/185749-ci-ocluster-build-5778b8
0
[SKIP] Package not available
-
2026-01-07 19:04:50
4min14s / 2min47s
2026-01-07/185749-ci-ocluster-build-a7fdb2
0
'replace' is not a member of 'std'
-
2026-01-07 19:04:48
1min27s / 5min32s
2026-01-07/185749-ci-ocluster-build-77d791
0
'replace' is not a member of 'std'
-
2026-01-07 19:04:48
1min25s / 5min34s
2026-01-07/185749-ci-ocluster-build-048322
0
[SKIP] Package not available
-
2026-01-07 19:04:44
4min51s / 2min4s
2026-01-07/185749-ci-ocluster-build-703e0c
0
[SKIP] Package not available
-
2026-01-07 19:04:44
4min51s / 2min4s
2026-01-07/185749-ci-ocluster-build-33e753
0
[SKIP] Package not available
-
2026-01-07 19:04:38
5min8s / 1min41s
2026-01-07/185749-ci-ocluster-build-e2c29b
0
[SKIP] Package not available
-
2026-01-07 19:04:38
5min5s / 1min44s
2026-01-07/185749-ci-ocluster-build-5d40eb
0
[SKIP] Package not available
-
2026-01-07 19:04:38
5min8s / 1min41s
2026-01-07/185749-ci-ocluster-build-af9c36
0
'replace' is not a member of 'std'
-
2026-01-07 19:04:35
1min38s / 5min8s
2026-01-07/185749-ci-ocluster-build-621eec
0
'replace' is not a member of 'std'
-
2026-01-07 19:04:35
1min39s / 5min7s
2026-01-07/185749-ci-ocluster-build-eb12b9
0
[SKIP] Package not available
-
2026-01-07 19:04:23
4min23s / 2min11s
2026-01-07/185749-ci-ocluster-build-b65614
0
[SKIP] Package not available
-
2026-01-07 19:04:23
4min23s / 2min11s
2026-01-07/185749-ci-ocluster-build-1ef074
0
[SKIP] Package not available
-
2026-01-07 19:04:23
4min31s / 2min3s
2026-01-07/185749-ci-ocluster-build-69058c
0
[SKIP] Package not available
-
2026-01-07 19:04:23
4min31s / 2min3s
2026-01-07/185749-ci-ocluster-build-dad240
0
[SKIP] Package not available
-
2026-01-07 19:04:21
5min47s / 45s
2026-01-07/185749-ci-ocluster-build-6b4a7d
0
[SKIP] Package not available
-
2026-01-07 19:04:21
5min39s / 53s
2026-01-07/185749-ci-ocluster-build-9aea02
0
[SKIP] Package not available
-
2026-01-07 19:04:21
5min39s / 53s
2026-01-07/185749-ci-ocluster-build-180d24
0
'replace' is not a member of 'std'
-
2026-01-07 19:04:18
2min2s / 4min27s
2026-01-07/185749-ci-ocluster-build-142ae8
0
'replace' is not a member of 'std'
-
2026-01-07 19:04:17
1min50s / 4min38s
2026-01-07/185749-ci-ocluster-build-fd7a5a
0
[SKIP] Package not available
-
2026-01-07 19:04:16
3min46s / 2min41s
2026-01-07/185749-ci-ocluster-build-7cef78
0
[SKIP] Package not available
-
2026-01-07 19:04:16
3min44s / 2min43s
2026-01-07/185749-ci-ocluster-build-bcfdd5
0
[SKIP] Package not available
-
2026-01-07 19:04:15
4min28s / 1min58s
2026-01-07/185749-ci-ocluster-build-028b6a
0
[SKIP] Package not available
-
2026-01-07 19:04:15
4min28s / 1min58s
2026-01-07/185749-ci-ocluster-build-e2108a
0
OK
-
2026-01-07 19:04:09
2min22s / 3min58s
2026-01-07/185749-ci-ocluster-build-603a01
0
OK
-
2026-01-07 19:04:04
2min23s / 3min52s
2026-01-07/185749-ci-ocluster-build-d1e0f0
0
expected ')' before 'format'
-
2026-01-07 19:04:03
3min34s / 2min40s
2026-01-07/185749-ci-ocluster-build-cff038
0
expected ')' before 'format'
-
2026-01-07 19:04:03
3min19s / 2min55s
2026-01-07/185749-ci-ocluster-build-5c27df
0
[SKIP] Package not available
-
2026-01-07 19:04:01
4min22s / 1min50s
2026-01-07/185749-ci-ocluster-build-6cca7a
0
[SKIP] Package not available
-
2026-01-07 19:04:01
4min22s / 1min50s
2026-01-07/185749-ci-ocluster-build-197eea
0
OK
-
2026-01-07 19:04:00
3min23s / 2min48s