(analysis)

2025-01-30 10:46.19: New job: Analyse
2025-01-30 10:46.19: Solving with opam-repository commit: https://github.com/ocaml/opam-repository.git#refs/heads/master (f665120a12cde1268c7f02fa4acf6502cc04c78b)
2025-01-30 10:46.43: Cancelling: Auto-cancelling job because it is no longer needed
2025-01-30 10:48.29: Waiting for worker…
Building on kydoime.caelum.ci.dev-1
2025-01-30 10:50.39 [INFO] Solving for deps_for_opam_dune_lint.opam,
mirage-crypto.dev, mirage-crypto-rng.dev,
mirage-crypto-rng-mirage.dev,
mirage-crypto-rng-miou-unix.dev,
mirage-crypto-rng-lwt.dev,
mirage-crypto-rng-eio.dev,
mirage-crypto-rng-async.dev, mirage-crypto-pk.dev,
mirage-crypto-ec.dev
2025-01-30 10:50.39 [INFO] = debian-12-4.02_opam-2.3 =
2025-01-30 10:50.39 [INFO] Cancelled
2025-01-30 10:50.39 [INFO] = debian-12-4.02_opam-2.3 =
2025-01-30 10:50.39 [INFO] Cancelled
2025-01-30 10:50.39 [INFO] = debian-12-4.03_opam-2.3 =
2025-01-30 10:50.39 [INFO] Cancelled
2025-01-30 10:50.39 [INFO] = debian-12-4.03_opam-2.3 =
2025-01-30 10:50.39 [INFO] Cancelled
2025-01-30 10:50.39 [INFO] = debian-12-4.04_opam-2.3 =
2025-01-30 10:50.39 [INFO] Cancelled
2025-01-30 10:50.39 [INFO] = debian-12-4.04_opam-2.3 =
2025-01-30 10:50.39 [INFO] Cancelled
2025-01-30 10:50.39 [INFO] = debian-12-4.05_opam-2.3 =
2025-01-30 10:50.39 [INFO] Cancelled
2025-01-30 10:50.39 [INFO] = debian-12-4.05_opam-2.3 =
2025-01-30 10:50.39 [INFO] Cancelled
2025-01-30 10:50.39 [INFO] = debian-12-4.06_opam-2.3 =
2025-01-30 10:50.39 [INFO] Cancelled
2025-01-30 10:50.39 [INFO] = debian-12-4.06_opam-2.3 =
2025-01-30 10:50.39 [INFO] Cancelled
2025-01-30 10:50.39 [INFO] = debian-12-4.07_opam-2.3 =
2025-01-30 10:50.39 [INFO] Cancelled
2025-01-30 10:50.39 [INFO] = debian-12-4.07_opam-2.3 =
2025-01-30 10:50.39 [INFO] Cancelled
2025-01-30 10:50.39 [INFO] = debian-12-4.08_opam-2.3 =
2025-01-30 10:50.39 [INFO] Cancelled
2025-01-30 10:50.39 [INFO] = debian-12-4.08_opam-2.3 =
2025-01-30 10:50.39 [INFO] Cancelled
2025-01-30 10:50.39 [INFO] = debian-12-4.09_opam-2.3 =
2025-01-30 10:50.39 [INFO] Cancelled
2025-01-30 10:50.39 [INFO] = debian-12-4.09_opam-2.3 =
2025-01-30 10:50.39 [INFO] Cancelled
2025-01-30 10:50.39 [INFO] = debian-12-4.10_opam-2.3 =
2025-01-30 10:50.39 [INFO] Cancelled
2025-01-30 10:50.39 [INFO] = debian-12-4.10_opam-2.3 =
2025-01-30 10:50.39 [INFO] Cancelled
2025-01-30 10:50.39 [INFO] = debian-12-4.11_opam-2.3 =
2025-01-30 10:50.39 [INFO] Cancelled
2025-01-30 10:50.39 [INFO] = debian-12-4.11_opam-2.3 =
2025-01-30 10:50.39 [INFO] Cancelled
2025-01-30 10:50.39 [INFO] = debian-12-4.12_opam-2.3 =
2025-01-30 10:50.39 [INFO] Cancelled
2025-01-30 10:50.39 [INFO] = debian-12-4.12_opam-2.3 =
2025-01-30 10:50.39 [INFO] Cancelled
2025-01-30 10:50.39 [INFO] = debian-12-4.13_opam-2.3 =
2025-01-30 10:50.39 [INFO] Cancelled
2025-01-30 10:50.39 [INFO] = debian-12-4.13_opam-2.3 =
2025-01-30 10:50.39 [INFO] Cancelled
2025-01-30 10:50.39 [INFO] = alpine-3.21-4.14_opam-2.3 =
2025-01-30 10:50.39 [INFO] Cancelled
2025-01-30 10:50.39 [INFO] = debian-11-4.14_opam-2.3 =
2025-01-30 10:50.39 [INFO] Cancelled
2025-01-30 10:50.39 [INFO] = fedora-40-4.14_opam-2.3 =
2025-01-30 10:50.39 [INFO] Cancelled
2025-01-30 10:50.39 [INFO] = fedora-41-4.14_opam-2.3 =
2025-01-30 10:50.39 [INFO] Cancelled
2025-01-30 10:50.39 [INFO] = opensuse-15.6-4.14_opam-2.3 =
2025-01-30 10:50.39 [INFO] Cancelled
2025-01-30 10:50.39 [INFO] = ubuntu-20.04-4.14_opam-2.3 =
2025-01-30 10:50.39 [INFO] Cancelled
2025-01-30 10:50.39 [INFO] = ubuntu-22.04-4.14_opam-2.3 =
2025-01-30 10:50.39 [INFO] Cancelled
2025-01-30 10:50.39 [INFO] = ubuntu-24.04-4.14_opam-2.3 =
2025-01-30 10:50.39 [INFO] Cancelled
2025-01-30 10:50.39 [INFO] = ubuntu-24.10-4.14_opam-2.3 =
2025-01-30 10:50.39 [INFO] Cancelled
2025-01-30 10:50.39 [INFO] = debian-12-4.14_opam-2.3 =
2025-01-30 10:50.39 [INFO] Cancelled
2025-01-30 10:50.39 [INFO] = debian-12-4.14_opam-2.3 =
2025-01-30 10:50.39 [INFO] Cancelled
2025-01-30 10:50.39 [INFO] = debian-12-4.14+flambda_opam-2.3 =
2025-01-30 10:50.39 [INFO] Cancelled
2025-01-30 10:50.39 [INFO] = debian-12-5.0_opam-2.3 =
2025-01-30 10:50.39 [INFO] Cancelled
2025-01-30 10:50.39 [INFO] = debian-12-5.0_opam-2.3 =
2025-01-30 10:50.39 [INFO] Cancelled
2025-01-30 10:50.39 [INFO] = debian-12-5.1_opam-2.3 =
2025-01-30 10:50.39 [INFO] Cancelled
2025-01-30 10:50.39 [INFO] = debian-12-5.1_opam-2.3 =
2025-01-30 10:50.39 [INFO] Cancelled
2025-01-30 10:50.39 [INFO] = debian-12-5.2_opam-2.3 =
2025-01-30 10:50.39 [INFO] Cancelled
2025-01-30 10:50.39 [INFO] = debian-12-5.2_opam-2.3 =
2025-01-30 10:50.39 [INFO] Cancelled
2025-01-30 10:50.39 [INFO] = alpine-3.21-5.3_opam-2.3 =
2025-01-30 10:50.39 [INFO] Cancelled
2025-01-30 10:50.39 [INFO] = debian-11-5.3_opam-2.3 =
2025-01-30 10:50.39 [INFO] Cancelled
2025-01-30 10:50.39 [INFO] = fedora-40-5.3_opam-2.3 =
2025-01-30 10:50.39 [INFO] Cancelled
2025-01-30 10:50.39 [INFO] = fedora-41-5.3_opam-2.3 =
2025-01-30 10:50.39 [INFO] Cancelled
2025-01-30 10:50.39 [INFO] = opensuse-15.6-5.3_opam-2.3 =
2025-01-30 10:50.39 [INFO] Cancelled
2025-01-30 10:50.39 [INFO] = ubuntu-20.04-5.3_opam-2.3 =
2025-01-30 10:50.39 [INFO] Cancelled
2025-01-30 10:50.39 [INFO] = ubuntu-22.04-5.3_opam-2.3 =
2025-01-30 10:50.39 [INFO] Cancelled
2025-01-30 10:50.39 [INFO] = ubuntu-24.04-5.3_opam-2.3 =
2025-01-30 10:50.39 [INFO] Cancelled
2025-01-30 10:50.39 [INFO] = ubuntu-24.10-5.3_opam-2.3 =
2025-01-30 10:50.39 [INFO] Cancelled
2025-01-30 10:50.39 [INFO] = debian-12-5.3_opam-2.3 =
2025-01-30 10:50.39 [INFO] Cancelled
2025-01-30 10:50.39 [INFO] = debian-12-5.3_opam-2.3 =
2025-01-30 10:50.39 [INFO] Cancelled
2025-01-30 10:50.39 [INFO] = debian-12-5.3+flambda_opam-2.3 =
2025-01-30 10:50.39 [INFO] Cancelled
Job succeeded
2025-01-30 10:50.40: Job cancelled


2025-01-30 10:50.40: Solving with opam-repository commit: https://github.com/ocaml/opam-repository.git#refs/heads/master (f665120a12cde1268c7f02fa4acf6502cc04c78b)
2025-01-30 10:50.40: Waiting for worker…
Building on ainia.caelum.ci.dev-1
2025-01-30 10:51.50 [INFO] Solving for mirage-crypto.dev,
mirage-crypto-rng.dev,
mirage-crypto-rng-mirage.dev,
mirage-crypto-rng-miou-unix.dev,
mirage-crypto-rng-lwt.dev,
mirage-crypto-rng-eio.dev,
mirage-crypto-rng-async.dev, mirage-crypto-pk.dev,
mirage-crypto-ec.dev
2025-01-30 10:51.50 [INFO] debian-12-4.12_opam-2.3: not available for this platform
2025-01-30 10:51.50 [INFO] debian-12-4.12_opam-2.3: not available for this platform
2025-01-30 10:51.50 [INFO] debian-12-4.11_opam-2.3: not available for this platform
2025-01-30 10:51.50 [INFO] debian-12-4.11_opam-2.3: not available for this platform
2025-01-30 10:51.50 [INFO] debian-12-4.10_opam-2.3: not available for this platform
2025-01-30 10:51.50 [INFO] debian-12-4.10_opam-2.3: not available for this platform
2025-01-30 10:51.50 [INFO] debian-12-4.09_opam-2.3: not available for this platform
2025-01-30 10:51.50 [INFO] debian-12-4.09_opam-2.3: not available for this platform
2025-01-30 10:51.50 [INFO] debian-12-4.08_opam-2.3: not available for this platform
2025-01-30 10:51.50 [INFO] debian-12-4.08_opam-2.3: not available for this platform
2025-01-30 10:51.50 [INFO] debian-12-4.07_opam-2.3: not available for this platform
2025-01-30 10:51.50 [INFO] debian-12-4.07_opam-2.3: not available for this platform
2025-01-30 10:51.50 [INFO] debian-12-4.06_opam-2.3: not available for this platform
2025-01-30 10:51.50 [INFO] debian-12-4.06_opam-2.3: not available for this platform
2025-01-30 10:51.50 [INFO] debian-12-4.05_opam-2.3: not available for this platform
2025-01-30 10:51.50 [INFO] debian-12-4.05_opam-2.3: not available for this platform
2025-01-30 10:51.50 [INFO] debian-12-4.04_opam-2.3: not available for this platform
2025-01-30 10:51.50 [INFO] debian-12-4.04_opam-2.3: not available for this platform
2025-01-30 10:51.50 [INFO] debian-12-4.03_opam-2.3: not available for this platform
2025-01-30 10:51.50 [INFO] debian-12-4.03_opam-2.3: not available for this platform
2025-01-30 10:51.50 [INFO] debian-12-4.02_opam-2.3: not available for this platform
2025-01-30 10:51.50 [INFO] debian-12-4.02_opam-2.3: not available for this platform
2025-01-30 10:51.53 [INFO] = windows-server-2022-amd64-4.14_opam-2.3 =
2025-01-30 10:51.53 [INFO] Cancelled
2025-01-30 10:51.53 [INFO] = windows-server-2022-amd64-5.3_opam-2.3 =
2025-01-30 10:51.53 [INFO] Cancelled
2025-01-30 10:51.53 [INFO] = openbsd-76-amd64-4.14_opam-2.3 =
2025-01-30 10:51.53 [INFO] Cancelled
2025-01-30 10:51.53 [INFO] = openbsd-76-amd64-5.3_opam-2.3 =
2025-01-30 10:51.53 [INFO] Cancelled
2025-01-30 10:51.53 [INFO] = freebsd-14.1-4.14_opam-2.3 =
2025-01-30 10:51.53 [INFO] Cancelled
2025-01-30 10:51.53 [INFO] = freebsd-14.1-5.3_opam-2.3 =
2025-01-30 10:51.53 [INFO] Cancelled
2025-01-30 10:51.53 [INFO] = macos-homebrew-4.14_opam-2.3 =
2025-01-30 10:51.53 [INFO] Cancelled
2025-01-30 10:51.53 [INFO] = macos-homebrew-5.3_opam-2.3 =
2025-01-30 10:51.53 [INFO] Cancelled
2025-01-30 10:51.53 [INFO] = macos-homebrew-4.14_arm64_opam-2.3 =
2025-01-30 10:51.53 [INFO] Cancelled
2025-01-30 10:51.53 [INFO] = macos-homebrew-5.3_arm64_opam-2.3 =
2025-01-30 10:51.53 [INFO] Cancelled
2025-01-30 10:51.53 [INFO] = alpine-3.21-5.3_opam-2.3 =
2025-01-30 10:51.53 [INFO] Cancelled
2025-01-30 10:51.53 [INFO] = alpine-3.21-4.14_opam-2.3 =
2025-01-30 10:51.53 [INFO] Cancelled
2025-01-30 10:51.53 [INFO] = debian-12-5.3+flambda_opam-2.3 =
2025-01-30 10:51.53 [INFO] Cancelled
2025-01-30 10:51.53 [INFO] = debian-12-5.3_x86_32_opam-2.3 =
2025-01-30 10:51.53 [INFO] Cancelled
2025-01-30 10:51.53 [INFO] = debian-12-5.3_arm64_opam-2.3 =
2025-01-30 10:51.53 [INFO] Cancelled
2025-01-30 10:51.53 [INFO] = debian-12-5.3_arm32_opam-2.3 =
2025-01-30 10:51.53 [INFO] Cancelled
2025-01-30 10:51.53 [INFO] = debian-12-5.3_ppc64_opam-2.3 =
2025-01-30 10:51.53 [INFO] Cancelled
2025-01-30 10:51.53 [INFO] = debian-12-5.3_s390x_opam-2.3 =
2025-01-30 10:51.53 [INFO] Cancelled
2025-01-30 10:51.53 [INFO] = debian-12-4.14+flambda_opam-2.3 =
2025-01-30 10:51.53 [INFO] Cancelled
2025-01-30 10:51.53 [INFO] = debian-12-4.14_x86_32_opam-2.3 =
2025-01-30 10:51.53 [INFO] Cancelled
2025-01-30 10:51.53 [INFO] = debian-12-4.14_arm64_opam-2.3 =
2025-01-30 10:51.53 [INFO] Cancelled
2025-01-30 10:51.53 [INFO] = debian-12-4.14_arm32_opam-2.3 =
2025-01-30 10:51.53 [INFO] Cancelled
2025-01-30 10:51.53 [INFO] = debian-12-4.14_ppc64_opam-2.3 =
2025-01-30 10:51.53 [INFO] Cancelled
2025-01-30 10:51.53 [INFO] = debian-12-4.14_s390x_opam-2.3 =
2025-01-30 10:51.53 [INFO] Cancelled
2025-01-30 10:51.53 [INFO] = debian-11-5.3_opam-2.3 =
2025-01-30 10:51.53 [INFO] Cancelled
2025-01-30 10:51.53 [INFO] = debian-11-4.14_opam-2.3 =
2025-01-30 10:51.53 [INFO] Cancelled
2025-01-30 10:51.53 [INFO] = fedora-40-5.3_opam-2.3 =
2025-01-30 10:51.53 [INFO] Cancelled
2025-01-30 10:51.53 [INFO] = fedora-40-4.14_opam-2.3 =
2025-01-30 10:51.53 [INFO] Cancelled
2025-01-30 10:51.53 [INFO] = fedora-41-5.3_opam-2.3 =
2025-01-30 10:51.53 [INFO] Cancelled
2025-01-30 10:51.53 [INFO] = fedora-41-4.14_opam-2.3 =
2025-01-30 10:51.53 [INFO] Cancelled
2025-01-30 10:51.53 [INFO] = opensuse-15.6-5.3_opam-2.3 =
2025-01-30 10:51.53 [INFO] Cancelled
2025-01-30 10:51.53 [INFO] = opensuse-15.6-4.14_opam-2.3 =
2025-01-30 10:51.53 [INFO] Cancelled
2025-01-30 10:51.53 [INFO] = ubuntu-20.04-5.3_opam-2.3 =
2025-01-30 10:51.53 [INFO] Cancelled
2025-01-30 10:51.53 [INFO] = ubuntu-20.04-4.14_opam-2.3 =
2025-01-30 10:51.53 [INFO] Cancelled
2025-01-30 10:51.53 [INFO] = ubuntu-22.04-5.3_opam-2.3 =
2025-01-30 10:51.53 [INFO] Cancelled
2025-01-30 10:51.53 [INFO] = ubuntu-22.04-4.14_opam-2.3 =
2025-01-30 10:51.53 [INFO] Cancelled
2025-01-30 10:51.53 [INFO] = ubuntu-24.04-5.3_opam-2.3 =
2025-01-30 10:51.53 [INFO] Cancelled
2025-01-30 10:51.53 [INFO] = ubuntu-24.04-4.14_opam-2.3 =
2025-01-30 10:51.53 [INFO] Cancelled
2025-01-30 10:51.53 [INFO] = ubuntu-24.10-5.3_opam-2.3 =
2025-01-30 10:51.53 [INFO] Cancelled
2025-01-30 10:51.53 [INFO] = ubuntu-24.10-4.14_opam-2.3 =
2025-01-30 10:51.53 [INFO] Cancelled
2025-01-30 10:51.53 [INFO] = debian-12-5.3_opam-2.3 =
2025-01-30 10:51.53 [INFO] Cancelled
2025-01-30 10:51.53 [INFO] = debian-12-5.3_opam-2.3 =
2025-01-30 10:51.53 [INFO] Cancelled
2025-01-30 10:51.53 [INFO] = debian-12-5.2_opam-2.3 =
2025-01-30 10:51.53 [INFO] Cancelled
2025-01-30 10:51.53 [INFO] = debian-12-5.2_opam-2.3 =
2025-01-30 10:51.53 [INFO] Cancelled
2025-01-30 10:51.53 [INFO] = debian-12-5.1_opam-2.3 =
2025-01-30 10:51.53 [INFO] Cancelled
2025-01-30 10:51.53 [INFO] = debian-12-5.1_opam-2.3 =
2025-01-30 10:51.53 [INFO] Cancelled
2025-01-30 10:51.53 [INFO] = debian-12-5.0_opam-2.3 =
2025-01-30 10:51.53 [INFO] Cancelled
2025-01-30 10:51.53 [INFO] = debian-12-5.0_opam-2.3 =
2025-01-30 10:51.53 [INFO] Cancelled
2025-01-30 10:51.53 [INFO] = debian-12-4.14_opam-2.3 =
2025-01-30 10:51.53 [INFO] Cancelled
2025-01-30 10:51.53 [INFO] = debian-12-4.14_opam-2.3 =
2025-01-30 10:51.53 [INFO] Cancelled
2025-01-30 10:51.53 [INFO] = debian-12-4.13_opam-2.3 =
2025-01-30 10:51.53 [INFO] Cancelled
2025-01-30 10:51.53 [INFO] = debian-12-4.13_opam-2.3 =
2025-01-30 10:51.53 [INFO] Cancelled
2025-01-30 10:51.53 [INFO] = debian-12-4.12_opam-2.3 =
2025-01-30 10:51.53 [INFO] Not available for this platform
2025-01-30 10:51.53 [INFO] = debian-12-4.12_opam-2.3 =
2025-01-30 10:51.53 [INFO] Not available for this platform
2025-01-30 10:51.53 [INFO] = debian-12-4.11_opam-2.3 =
2025-01-30 10:51.53 [INFO] Not available for this platform
2025-01-30 10:51.53 [INFO] = debian-12-4.11_opam-2.3 =
2025-01-30 10:51.53 [INFO] Not available for this platform
2025-01-30 10:51.53 [INFO] = debian-12-4.10_opam-2.3 =
2025-01-30 10:51.53 [INFO] Not available for this platform
2025-01-30 10:51.53 [INFO] = debian-12-4.10_opam-2.3 =
2025-01-30 10:51.53 [INFO] Not available for this platform
2025-01-30 10:51.53 [INFO] = debian-12-4.09_opam-2.3 =
2025-01-30 10:51.53 [INFO] Not available for this platform
2025-01-30 10:51.53 [INFO] = debian-12-4.09_opam-2.3 =
2025-01-30 10:51.53 [INFO] Not available for this platform
2025-01-30 10:51.53 [INFO] = debian-12-4.08_opam-2.3 =
2025-01-30 10:51.53 [INFO] Not available for this platform
2025-01-30 10:51.53 [INFO] = debian-12-4.08_opam-2.3 =
2025-01-30 10:51.53 [INFO] Not available for this platform
2025-01-30 10:51.53 [INFO] = debian-12-4.07_opam-2.3 =
2025-01-30 10:51.53 [INFO] Not available for this platform
2025-01-30 10:51.53 [INFO] = debian-12-4.07_opam-2.3 =
2025-01-30 10:51.53 [INFO] Not available for this platform
2025-01-30 10:51.53 [INFO] = debian-12-4.06_opam-2.3 =
2025-01-30 10:51.53 [INFO] Not available for this platform
2025-01-30 10:51.53 [INFO] = debian-12-4.06_opam-2.3 =
2025-01-30 10:51.53 [INFO] Not available for this platform
2025-01-30 10:51.53 [INFO] = debian-12-4.05_opam-2.3 =
2025-01-30 10:51.53 [INFO] Not available for this platform
2025-01-30 10:51.53 [INFO] = debian-12-4.05_opam-2.3 =
2025-01-30 10:51.53 [INFO] Not available for this platform
2025-01-30 10:51.53 [INFO] = debian-12-4.04_opam-2.3 =
2025-01-30 10:51.53 [INFO] Not available for this platform
2025-01-30 10:51.53 [INFO] = debian-12-4.04_opam-2.3 =
2025-01-30 10:51.53 [INFO] Not available for this platform
2025-01-30 10:51.53 [INFO] = debian-12-4.03_opam-2.3 =
2025-01-30 10:51.53 [INFO] Not available for this platform
2025-01-30 10:51.53 [INFO] = debian-12-4.03_opam-2.3 =
2025-01-30 10:51.53 [INFO] Not available for this platform
2025-01-30 10:51.53 [INFO] = debian-12-4.02_opam-2.3 =
2025-01-30 10:51.53 [INFO] Not available for this platform
2025-01-30 10:51.53 [INFO] = debian-12-4.02_opam-2.3 =
2025-01-30 10:51.53 [INFO] Not available for this platform
Job succeeded