JobBuild #ResultRebuild?FinishedQueue / run time
2026-04-01/180057-ci-ocluster-build-4269d00OK-2026-04-02 01:57:237h22min / 35min14s
2026-04-01/181337-ci-ocluster-build-d163d30OK-2026-04-02 01:57:237h37min / 7min36s
2026-04-01/181337-ci-ocluster-build-34c2ad0Failed to get sources of alt-ergo.2.6.2, alt-ergo-lib.2.6.2, alt-ergo-parsers.2.6.2 (https://github.com/OCamlPro/alt-ergo/releases/download/v2.6.2/alt-ergo-2.6.2.tbz): curl failed-2026-04-02 01:57:227h35min / 9min39s
2026-04-01/181337-ci-ocluster-build-c63ace0OK-2026-04-02 01:57:217h35min / 9min10s
2026-04-01/181337-ci-ocluster-build-aa3d9c0OK-2026-04-02 01:57:207h37min / 7min19s
2026-04-01/181337-ci-ocluster-build-7200bd0OK-2026-04-02 01:57:187h37min / 7min4s
2026-04-01/181337-ci-ocluster-build-e3cf760The compilation of frama-c.30.0~beta failed at "dune build -j255 @ptests_config".-2026-04-02 01:57:137h36min / 8min28s
2026-04-01/181337-ci-ocluster-build-ad82360OK-2026-04-02 01:57:107h38min / 5min59s
2026-04-01/181337-ci-ocluster-build-bda4c00OK-2026-04-02 01:57:037h35min / 9min21s
2026-04-01/181337-ci-ocluster-build-40c1cd0OK-2026-04-02 01:57:027h38min / 5min49s
2026-04-01/181337-ci-ocluster-build-985fc00OK-2026-04-02 01:56:537h35min / 8min29s
2026-04-01/181337-ci-ocluster-build-00dcf70OK-2026-04-02 01:56:477h35min / 8min40s
2026-04-01/181337-ci-ocluster-build-3be7d20OK-2026-04-02 01:56:477h33min / 10min54s
2026-04-01/180057-ci-ocluster-build-420b0b0OK-2026-04-02 01:56:457h20min / 35min54s
2026-04-01/181337-ci-ocluster-build-b31d7d0OK-2026-04-02 01:56:337h37min / 6min26s
2026-04-01/181337-ci-ocluster-build-94427d0OK-2026-04-02 01:56:277h37min / 6min29s
2026-04-01/181337-ci-ocluster-build-e39b890OK-2026-04-02 01:56:247h37min / 6min34s
2026-04-01/181337-ci-ocluster-build-c8243b0OK-2026-04-02 01:56:237h33min / 10min44s
2026-04-01/180057-ci-ocluster-build-49e85f0OK-2026-04-02 01:56:237h32min / 23min59s
2026-04-02/011113-ci-ocluster-build-a4a9ed0Disconnected: Switch turned off-2026-04-02 01:56:2328min39s / 16min31s
2026-04-01/181337-ci-ocluster-build-1d47c50OK-2026-04-02 01:56:227h33min / 10min37s
2026-04-01/181337-ci-ocluster-build-bcbd730OK-2026-04-02 01:56:227h36min / 7min13s
2026-04-01/181337-ci-ocluster-build-58e3c80OK-2026-04-02 01:56:217h38min / 5min1s
2026-04-01/181337-ci-ocluster-build-a1ed610OK-2026-04-02 01:56:207h38min / 5min1s
2026-04-02/011114-ci-ocluster-build-1c5c960Package "lwt" doesn't exist in the current project and isn't installed-2026-04-02 01:56:1838min8s / 6min56s
2026-04-01/181337-ci-ocluster-build-215d200OK-2026-04-02 01:56:187h37min / 5min43s
2026-04-01/181337-ci-ocluster-build-c674b20OK-2026-04-02 01:56:157h37min / 5min42s
2026-04-01/181337-ci-ocluster-build-bdbcbb0OK-2026-04-02 01:56:147h37min / 5min55s
2026-04-01/181337-ci-ocluster-build-2cbdbf0OK-2026-04-02 01:56:117h37min / 5min46s
2026-04-01/181337-ci-ocluster-build-1172fa0OK-2026-04-02 01:56:087h38min / 4min50s
2026-04-01/181337-ci-ocluster-build-6386030OK-2026-04-02 01:56:067h38min / 4min48s
2026-04-01/181337-ci-ocluster-build-f1d0a70OK-2026-04-02 01:56:067h36min / 7min28s
2026-04-01/180051-ci-ocluster-build-b753990OK-2026-04-02 01:55:596h26min / 1h30min
2026-04-01/180057-ci-ocluster-build-a281470OK-2026-04-02 01:55:587h22min / 33min41s
2026-04-01/181337-ci-ocluster-build-eb9a470OK-2026-04-02 01:55:577h34min / 8min21s
2026-04-01/181337-ci-ocluster-build-400edd0OK-2026-04-02 01:55:517h38min / 4min23s
2026-04-01/181337-ci-ocluster-build-fa150c0OK-2026-04-02 01:55:497h36min / 6min13s
2026-04-01/181337-ci-ocluster-build-82bfae0OK-2026-04-02 01:55:487h36min / 6min39s
2026-04-01/181337-ci-ocluster-build-d850ae0OK-2026-04-02 01:55:467h35min / 8min4s
2026-04-01/180058-ci-ocluster-build-994f930OK-2026-04-02 01:55:467h34min / 21min29s
2026-04-01/181337-ci-ocluster-build-89f3aa0OK-2026-04-02 01:55:457h35min / 7min16s
2026-04-01/181337-ci-ocluster-build-690f210OK-2026-04-02 01:55:417h35min / 8min
2026-04-01/181337-ci-ocluster-build-bb5b5b0OK-2026-04-02 01:55:407h32min / 10min15s
2026-04-01/181337-ci-ocluster-build-8a5d7e0OK-2026-04-02 01:55:397h35min / 7min11s
2026-04-01/181337-ci-ocluster-build-60deec0OK-2026-04-02 01:55:387h38min / 4min22s
2026-04-01/181337-ci-ocluster-build-a5deb90OK-2026-04-02 01:55:367h35min / 7min55s
2026-04-01/181337-ci-ocluster-build-8df78e0OK-2026-04-02 01:55:297h38min / 4min10s
2026-04-01/180057-ci-ocluster-build-64f75d0OK-2026-04-02 01:55:277h20min / 34min33s
2026-04-01/181337-ci-ocluster-build-6f40020OK-2026-04-02 01:55:267h38min / 4min36s
2026-04-01/181337-ci-ocluster-build-ca03f40OK-2026-04-02 01:55:257h37min / 5min22s
2026-04-01/181337-ci-ocluster-build-b3202f0OK-2026-04-02 01:55:227h36min / 6min15s
2026-04-01/181337-ci-ocluster-build-934c9f0'stack' in namespace 'std' does not name a template type-2026-04-02 01:55:207h35min / 6min54s
2026-04-01/181337-ci-ocluster-build-2afaf90OK-2026-04-02 01:55:117h32min / 9min46s
2026-04-01/181337-ci-ocluster-build-17ca370OK-2026-04-02 01:55:097h38min / 4min8s
2026-04-01/180057-ci-ocluster-build-fecf7e0OK-2026-04-02 01:55:087h31min / 23min25s
2026-04-01/181337-ci-ocluster-build-1252950'stack' in namespace 'std' does not name a template type-2026-04-02 01:55:077h35min / 6min41s
2026-04-01/181337-ci-ocluster-build-c5c8060OK-2026-04-02 01:55:067h38min / 3min48s
2026-04-01/181337-ci-ocluster-build-9584340OK-2026-04-02 01:55:067h36min / 5min29s
2026-04-01/180056-ci-ocluster-build-5458230OK-2026-04-02 01:55:057h18min / 37min5s
2026-04-01/181337-ci-ocluster-build-986a3f0OK-2026-04-02 01:55:047h37min / 5min26s
2026-04-01/181337-ci-ocluster-build-d8f88d0OK-2026-04-02 01:55:047h33min / 8min53s
2026-04-01/180058-ci-ocluster-build-86b32d0OK-2026-04-02 01:55:027h34min / 20min48s
2026-04-01/181337-ci-ocluster-build-3285220OK-2026-04-02 01:55:017h35min / 6min31s
2026-04-01/180057-ci-ocluster-build-d24c3c0OK-2026-04-02 01:55:007h22min / 32min54s
2026-04-01/181337-ci-ocluster-build-7b95070The installation of frama-c failed at "make PREFIX=/home/opam/.opam/4.14 MANDIR= install".-2026-04-02 01:54:577h36min / 6min2s
2026-04-01/181337-ci-ocluster-build-69ec1f0OK-2026-04-02 01:54:557h35min / 6min26s
2026-04-01/181337-ci-ocluster-build-8f71080OK-2026-04-02 01:54:557h35min / 6min43s
2026-04-01/181337-ci-ocluster-build-4a6aa70OK-2026-04-02 01:54:527h35min / 7min3s
2026-04-01/181337-ci-ocluster-build-3bce260OK-2026-04-02 01:54:447h38min / 3min19s
2026-04-01/180057-ci-ocluster-build-9ca9a50OK-2026-04-02 01:54:437h22min / 32min7s
2026-04-01/180057-ci-ocluster-build-23710c0OK-2026-04-02 01:54:407h22min / 32min8s
2026-04-01/181337-ci-ocluster-build-360d360'stack' in namespace 'std' does not name a template type-2026-04-02 01:54:407h35min / 6min14s
2026-04-01/180058-ci-ocluster-build-9541280OK-2026-04-02 01:54:387h34min / 20min29s
2026-04-01/181337-ci-ocluster-build-ce207a0OK-2026-04-02 01:54:387h36min / 5min29s
2026-04-01/181337-ci-ocluster-build-914d740OK-2026-04-02 01:54:357h38min / 3min41s
2026-04-01/181337-ci-ocluster-build-ac8be50OK-2026-04-02 01:54:327h34min / 7min1s
2026-04-01/181337-ci-ocluster-build-1436e80OK-2026-04-02 01:54:317h37min / 4min17s
2026-04-01/181337-ci-ocluster-build-0c744e0OK-2026-04-02 01:54:317h33min / 8min19s
2026-04-01/181337-ci-ocluster-build-7958a40OK-2026-04-02 01:54:287h37min / 4min24s
2026-04-01/181337-ci-ocluster-build-f5d18f0OK-2026-04-02 01:54:287h38min / 3min14s
2026-04-01/181337-ci-ocluster-build-9259a20OK-2026-04-02 01:54:277h37min / 4min13s
2026-04-01/181337-ci-ocluster-build-5fa1af0The installation of frama-c failed at "make PREFIX=/home/opam/.opam/4.14 MANDIR= install".-2026-04-02 01:54:277h36min / 5min38s
2026-04-01/181337-ci-ocluster-build-0abea10The installation of frama-c failed at "make PREFIX=/home/opam/.opam/4.14 MANDIR= install".-2026-04-02 01:54:267h36min / 5min36s
2026-04-01/181337-ci-ocluster-build-ec67c60The installation of frama-c failed at "make PREFIX=/home/opam/.opam/4.14 MANDIR=/home/opam/.opam/4.14/man install".-2026-04-02 01:54:267h36min / 5min37s
2026-04-01/181337-ci-ocluster-build-f87f580OK-2026-04-02 01:54:257h38min / 3min3s
2026-04-01/181337-ci-ocluster-build-7554b80OK-2026-04-02 01:54:237h38min / 3min29s
2026-04-01/181337-ci-ocluster-build-88e2ed0OK-2026-04-02 01:54:227h37min / 4min3s
2026-04-01/181337-ci-ocluster-build-29804f0OK-2026-04-02 01:54:227h38min / 3min42s
2026-04-01/181337-ci-ocluster-build-a7ba430OK-2026-04-02 01:54:227h37min / 4min3s
2026-04-01/181337-ci-ocluster-build-f97c1b0OK-2026-04-02 01:54:197h37min / 4min9s
2026-04-01/181337-ci-ocluster-build-4633ff0OK-2026-04-02 01:54:197h37min / 3min50s
2026-04-01/181337-ci-ocluster-build-ead7a30OK-2026-04-02 01:54:197h37min / 4min11s
2026-04-01/181337-ci-ocluster-build-97cef70OK-2026-04-02 01:54:177h33min / 8min18s
2026-04-01/180057-ci-ocluster-build-29de740OK-2026-04-02 01:54:157h22min / 32min5s
2026-04-01/180057-ci-ocluster-build-6359d60OK-2026-04-02 01:54:147h32min / 21min57s
2026-04-01/181337-ci-ocluster-build-cffacf0OK-2026-04-02 01:54:137h33min / 8min4s
2026-04-01/181337-ci-ocluster-build-16a2330OK-2026-04-02 01:54:137h38min / 3min29s
2026-04-01/181337-ci-ocluster-build-490aef0OK-2026-04-02 01:54:137h32min / 8min45s
2026-04-01/181337-ci-ocluster-build-ce9d1a0OK-2026-04-02 01:54:137h37min / 4min6s
2026-04-01/180058-ci-ocluster-build-63df070OK-2026-04-02 01:54:127h34min / 20min8s