(analysis)

2024-05-16 12:05.55: New job: Analyse
2024-05-16 12:05.55: Waiting for resource in pool analyse
2024-05-16 12:37.52: Got resource from pool analyse
2024-05-16 12:37.52: Solving with opam-repository commit: https://github.com/ocaml/opam-repository.git#refs/heads/master (23fec2c23a10862bcdde83a7688d35608defa7a7)
2024-05-16 12:37.52: Waiting for worker…
2024-05-16 12:38.20: Cancelling: Auto-cancelling job because it is no longer needed
Building on arm64-jade-2.equinix.ci.dev-34
2024-05-16 12:40.03 [INFO] Solving for deps_for_opam_dune_lint.opam,
                           mirage.dev, mirage-runtime.dev, functoria.dev,
                           functoria-runtime.dev
2024-05-16 12:40.10 [INFO] debian-12-4.02_opam-2.1: eliminated all possibilities in 3.77 s
2024-05-16 12:40.10 [INFO] = debian-12-4.02_opam-2.1 =
2024-05-16 12:40.10 [INFO] Can't find all required versions.
Selected: base-bigarray.base base-ocamlbuild.base base-threads.base
          base-unix.base deps_for_opam_dune_lint.opam ocaml-config.3
          ocaml-base-compiler&deps_for_opam_dune_lint ocaml-base-compiler
          ocaml-variants
- ocaml -> ocaml.4.02.3
    base-ocamlbuild base requires >= 3.10 & < 4.03
    ocaml-base-compiler 4.02.3 requires = 4.02.3
- ocaml-base-compiler -> ocaml-base-compiler.4.02.3
    User requested = 4.02.3
- ocaml-variants -> (problem)
    Rejected candidates:
      ocaml-variants.5.3.0+trunk: In same conflict class (ocaml-core-compiler) as ocaml-base-compiler
      ocaml-variants.5.2.1+trunk: In same conflict class (ocaml-core-compiler) as ocaml-base-compiler
      ocaml-variants.5.2.0+options: In same conflict class (ocaml-core-compiler) as ocaml-base-compiler
      ocaml-variants.5.2.0~rc1+options: In same conflict class (ocaml-core-compiler) as ocaml-base-compiler
      ocaml-variants.5.2.0~beta2+options: In same conflict class (ocaml-core-compiler) as ocaml-base-compiler
      ...
- opam-dune-lint -> (problem)
    Rejected candidates:
      opam-dune-lint.0.6: Requires ocaml >= 4.08.0
      opam-dune-lint.0.5: Requires ocaml >= 4.08.0
      opam-dune-lint.0.4: Requires ocaml >= 4.08.0
      opam-dune-lint.0.3: Requires ocaml >= 4.08.0
      opam-dune-lint.0.2: Requires ocaml >= 4.10.0
      ...
2024-05-16 12:40.10 [INFO] = debian-12-4.02_opam-2.1 =
2024-05-16 12:40.10 [INFO] Cancelled
2024-05-16 12:40.10 [INFO] = debian-12-4.03_opam-2.1 =
2024-05-16 12:40.10 [INFO] Cancelled
2024-05-16 12:40.10 [INFO] = debian-12-4.03_opam-2.1 =
2024-05-16 12:40.10 [INFO] Cancelled
2024-05-16 12:40.10 [INFO] = debian-12-4.04_opam-2.1 =
2024-05-16 12:40.10 [INFO] Cancelled
2024-05-16 12:40.10 [INFO] = debian-12-4.04_opam-2.1 =
2024-05-16 12:40.10 [INFO] Cancelled
2024-05-16 12:40.10 [INFO] = debian-12-4.05_opam-2.1 =
2024-05-16 12:40.10 [INFO] Cancelled
2024-05-16 12:40.10 [INFO] = debian-12-4.05_opam-2.1 =
2024-05-16 12:40.10 [INFO] Cancelled
2024-05-16 12:40.10 [INFO] = debian-12-4.06_opam-2.1 =
2024-05-16 12:40.10 [INFO] Cancelled
2024-05-16 12:40.10 [INFO] = debian-12-4.06_opam-2.1 =
2024-05-16 12:40.10 [INFO] Cancelled
2024-05-16 12:40.10 [INFO] = debian-12-4.07_opam-2.1 =
2024-05-16 12:40.10 [INFO] Cancelled
2024-05-16 12:40.10 [INFO] = debian-12-4.07_opam-2.1 =
2024-05-16 12:40.10 [INFO] Cancelled
2024-05-16 12:40.10 [INFO] = debian-12-4.08_opam-2.1 =
2024-05-16 12:40.10 [INFO] Cancelled
2024-05-16 12:40.10 [INFO] = debian-12-4.08_opam-2.1 =
2024-05-16 12:40.10 [INFO] Cancelled
2024-05-16 12:40.10 [INFO] = debian-12-4.09_opam-2.1 =
2024-05-16 12:40.10 [INFO] Cancelled
2024-05-16 12:40.10 [INFO] = debian-12-4.09_opam-2.1 =
2024-05-16 12:40.10 [INFO] Cancelled
2024-05-16 12:40.10 [INFO] = debian-12-4.10_opam-2.1 =
2024-05-16 12:40.10 [INFO] Cancelled
2024-05-16 12:40.10 [INFO] = debian-12-4.10_opam-2.1 =
2024-05-16 12:40.10 [INFO] Cancelled
2024-05-16 12:40.10 [INFO] = debian-12-4.11_opam-2.1 =
2024-05-16 12:40.10 [INFO] Cancelled
2024-05-16 12:40.10 [INFO] = debian-12-4.11_opam-2.1 =
2024-05-16 12:40.10 [INFO] Cancelled
2024-05-16 12:40.10 [INFO] = debian-12-4.12_opam-2.1 =
2024-05-16 12:40.10 [INFO] Cancelled
2024-05-16 12:40.10 [INFO] = debian-12-4.12_opam-2.1 =
2024-05-16 12:40.10 [INFO] Cancelled
2024-05-16 12:40.10 [INFO] = debian-12-4.13_opam-2.1 =
2024-05-16 12:40.10 [INFO] Cancelled
2024-05-16 12:40.10 [INFO] = debian-12-4.13_opam-2.1 =
2024-05-16 12:40.10 [INFO] Cancelled
2024-05-16 12:40.10 [INFO] = alpine-3.19-4.14_opam-2.1 =
2024-05-16 12:40.10 [INFO] Cancelled
2024-05-16 12:40.10 [INFO] = debian-11-4.14_opam-2.1 =
2024-05-16 12:40.10 [INFO] Cancelled
2024-05-16 12:40.10 [INFO] = debian-10-4.14_opam-2.1 =
2024-05-16 12:40.10 [INFO] Cancelled
2024-05-16 12:40.10 [INFO] = fedora-38-4.14_opam-2.1 =
2024-05-16 12:40.10 [INFO] Cancelled
2024-05-16 12:40.10 [INFO] = fedora-39-4.14_opam-2.1 =
2024-05-16 12:40.10 [INFO] Cancelled
2024-05-16 12:40.10 [INFO] = fedora-40-4.14_opam-2.1 =
2024-05-16 12:40.10 [INFO] Cancelled
2024-05-16 12:40.10 [INFO] = opensuse-15.5-4.14_opam-2.1 =
2024-05-16 12:40.10 [INFO] Cancelled
2024-05-16 12:40.10 [INFO] = ubuntu-20.04-4.14_opam-2.1 =
2024-05-16 12:40.10 [INFO] Cancelled
2024-05-16 12:40.10 [INFO] = ubuntu-22.04-4.14_opam-2.1 =
2024-05-16 12:40.10 [INFO] Cancelled
2024-05-16 12:40.10 [INFO] = ubuntu-23.04-4.14_opam-2.1 =
2024-05-16 12:40.10 [INFO] Cancelled
2024-05-16 12:40.10 [INFO] = ubuntu-23.10-4.14_opam-2.1 =
2024-05-16 12:40.10 [INFO] Cancelled
2024-05-16 12:40.10 [INFO] = debian-12-4.14_opam-2.1 =
2024-05-16 12:40.10 [INFO] Cancelled
2024-05-16 12:40.10 [INFO] = debian-12-4.14_opam-2.1 =
2024-05-16 12:40.10 [INFO] Cancelled
2024-05-16 12:40.10 [INFO] = debian-12-4.14+flambda_opam-2.1 =
2024-05-16 12:40.10 [INFO] Cancelled
2024-05-16 12:40.10 [INFO] = debian-12-5.0_opam-2.1 =
2024-05-16 12:40.10 [INFO] Cancelled
2024-05-16 12:40.10 [INFO] = debian-12-5.0_opam-2.1 =
2024-05-16 12:40.10 [INFO] Cancelled
2024-05-16 12:40.10 [INFO] = alpine-3.19-5.1_opam-2.1 =
2024-05-16 12:40.10 [INFO] Cancelled
2024-05-16 12:40.10 [INFO] = debian-11-5.1_opam-2.1 =
2024-05-16 12:40.10 [INFO] Cancelled
2024-05-16 12:40.10 [INFO] = debian-10-5.1_opam-2.1 =
2024-05-16 12:40.10 [INFO] Cancelled
2024-05-16 12:40.10 [INFO] = fedora-38-5.1_opam-2.1 =
2024-05-16 12:40.10 [INFO] Cancelled
2024-05-16 12:40.10 [INFO] = fedora-39-5.1_opam-2.1 =
2024-05-16 12:40.10 [INFO] Cancelled
2024-05-16 12:40.10 [INFO] = fedora-40-5.1_opam-2.1 =
2024-05-16 12:40.10 [INFO] Cancelled
2024-05-16 12:40.10 [INFO] = opensuse-15.5-5.1_opam-2.1 =
2024-05-16 12:40.10 [INFO] Cancelled
2024-05-16 12:40.10 [INFO] = ubuntu-20.04-5.1_opam-2.1 =
2024-05-16 12:40.10 [INFO] Cancelled
2024-05-16 12:40.10 [INFO] = ubuntu-22.04-5.1_opam-2.1 =
2024-05-16 12:40.10 [INFO] Cancelled
2024-05-16 12:40.10 [INFO] = ubuntu-23.04-5.1_opam-2.1 =
2024-05-16 12:40.10 [INFO] Cancelled
2024-05-16 12:40.10 [INFO] = ubuntu-23.10-5.1_opam-2.1 =
2024-05-16 12:40.10 [INFO] Cancelled
2024-05-16 12:40.10 [INFO] = debian-12-5.1_opam-2.1 =
2024-05-16 12:40.10 [INFO] Cancelled
2024-05-16 12:40.10 [INFO] = debian-12-5.1_opam-2.1 =
2024-05-16 12:40.10 [INFO] Cancelled
2024-05-16 12:40.10 [INFO] = debian-12-5.1+flambda_opam-2.1 =
2024-05-16 12:40.10 [INFO] Cancelled
2024-05-16 12:40.10 [INFO] = debian-12-5.2~beta2_opam-2.1 =
2024-05-16 12:40.10 [INFO] Cancelled
2024-05-16 12:40.10 [INFO] = debian-12-5.2~beta2_opam-2.1 =
2024-05-16 12:40.10 [INFO] Cancelled
Job succeeded
2024-05-16 12:40.11: Job cancelled


2024-05-16 12:40.11: Solving with opam-repository commit: https://github.com/ocaml/opam-repository.git#refs/heads/master (23fec2c23a10862bcdde83a7688d35608defa7a7)
2024-05-16 12:40.11: Waiting for worker…
Building on arm64-jade-1.equinix.ci.dev-37
2024-05-16 12:41.40 [INFO] Solving for mirage.dev, mirage-runtime.dev,
                           functoria.dev, functoria-runtime.dev
2024-05-16 12:41.41 [INFO] debian-12-4.07_opam-2.1: not available for this platform
2024-05-16 12:41.41 [INFO] debian-12-4.07_opam-2.1: not available for this platform
2024-05-16 12:41.41 [INFO] debian-12-4.06_opam-2.1: not available for this platform
2024-05-16 12:41.41 [INFO] debian-12-4.06_opam-2.1: not available for this platform
2024-05-16 12:41.41 [INFO] debian-12-4.05_opam-2.1: not available for this platform
2024-05-16 12:41.41 [INFO] debian-12-4.05_opam-2.1: not available for this platform
2024-05-16 12:41.41 [INFO] debian-12-4.04_opam-2.1: not available for this platform
2024-05-16 12:41.41 [INFO] debian-12-4.04_opam-2.1: not available for this platform
2024-05-16 12:41.41 [INFO] debian-12-4.03_opam-2.1: not available for this platform
2024-05-16 12:41.41 [INFO] debian-12-4.03_opam-2.1: not available for this platform
2024-05-16 12:41.41 [INFO] debian-12-4.02_opam-2.1: not available for this platform
2024-05-16 12:41.41 [INFO] debian-12-4.02_opam-2.1: not available for this platform
2024-05-16 13:11.34 [INFO] = freebsd-4.14_opam-2.1 =
2024-05-16 13:11.34 [INFO] Cancelled
2024-05-16 13:11.34 [INFO] = freebsd-5.1_opam-2.1 =
2024-05-16 13:11.34 [INFO] Cancelled
2024-05-16 13:11.34 [INFO] = macos-homebrew-4.14_opam-2.1 =
2024-05-16 13:11.34 [INFO] Cancelled
2024-05-16 13:11.34 [INFO] = macos-homebrew-5.1_opam-2.1 =
2024-05-16 13:11.34 [INFO] Cancelled
2024-05-16 13:11.34 [INFO] = macos-homebrew-4.14_arm64_opam-2.1 =
2024-05-16 13:11.34 [INFO] Cancelled
2024-05-16 13:11.34 [INFO] = macos-homebrew-5.1_arm64_opam-2.1 =
2024-05-16 13:11.34 [INFO] Cancelled
2024-05-16 13:11.34 [INFO] = alpine-3.19-5.1_opam-2.1 =
2024-05-16 13:11.34 [INFO] Cancelled
2024-05-16 13:11.34 [INFO] = alpine-3.19-4.14_opam-2.1 =
2024-05-16 13:11.34 [INFO] Cancelled
2024-05-16 13:11.34 [INFO] = debian-12-5.1+flambda_opam-2.1 =
2024-05-16 13:11.34 [INFO] Cancelled
2024-05-16 13:11.34 [INFO] = debian-12-5.1_x86_32_opam-2.1 =
2024-05-16 13:11.34 [INFO] Cancelled
2024-05-16 13:11.34 [INFO] = debian-12-5.1_arm64_opam-2.1 =
2024-05-16 13:11.34 [INFO] Cancelled
2024-05-16 13:11.34 [INFO] = debian-12-5.1_arm32_opam-2.1 =
2024-05-16 13:11.34 [INFO] Cancelled
2024-05-16 13:11.34 [INFO] = debian-12-5.1_ppc64_opam-2.1 =
2024-05-16 13:11.34 [INFO] Cancelled
2024-05-16 13:11.34 [INFO] = debian-12-5.1_s390x_opam-2.1 =
2024-05-16 13:11.34 [INFO] Cancelled
2024-05-16 13:11.34 [INFO] = debian-12-4.14+flambda_opam-2.1 =
2024-05-16 13:11.34 [INFO] Cancelled
2024-05-16 13:11.34 [INFO] = debian-12-4.14_x86_32_opam-2.1 =
2024-05-16 13:11.34 [INFO] Cancelled
2024-05-16 13:11.34 [INFO] = debian-12-4.14_arm64_opam-2.1 =
2024-05-16 13:11.34 [INFO] Cancelled
2024-05-16 13:11.34 [INFO] = debian-12-4.14_arm32_opam-2.1 =
2024-05-16 13:11.34 [INFO] Cancelled
2024-05-16 13:11.34 [INFO] = debian-12-4.14_ppc64_opam-2.1 =
2024-05-16 13:11.34 [INFO] Cancelled
2024-05-16 13:11.34 [INFO] = debian-12-4.14_s390x_opam-2.1 =
2024-05-16 13:11.34 [INFO] Cancelled
2024-05-16 13:11.34 [INFO] = debian-11-5.1_opam-2.1 =
2024-05-16 13:11.34 [INFO] Cancelled
2024-05-16 13:11.34 [INFO] = debian-11-4.14_opam-2.1 =
2024-05-16 13:11.34 [INFO] Cancelled
2024-05-16 13:11.34 [INFO] = debian-10-5.1_opam-2.1 =
2024-05-16 13:11.34 [INFO] Cancelled
2024-05-16 13:11.34 [INFO] = debian-10-4.14_opam-2.1 =
2024-05-16 13:11.34 [INFO] Cancelled
2024-05-16 13:11.34 [INFO] = fedora-38-5.1_opam-2.1 =
2024-05-16 13:11.34 [INFO] Cancelled
2024-05-16 13:11.34 [INFO] = fedora-38-4.14_opam-2.1 =
2024-05-16 13:11.34 [INFO] Cancelled
2024-05-16 13:11.34 [INFO] = fedora-39-5.1_opam-2.1 =
2024-05-16 13:11.34 [INFO] Cancelled
2024-05-16 13:11.34 [INFO] = fedora-39-4.14_opam-2.1 =
2024-05-16 13:11.34 [INFO] Cancelled
2024-05-16 13:11.34 [INFO] = fedora-40-5.1_opam-2.1 =
2024-05-16 13:11.34 [INFO] Cancelled
2024-05-16 13:11.34 [INFO] = fedora-40-4.14_opam-2.1 =
2024-05-16 13:11.34 [INFO] Cancelled
2024-05-16 13:11.34 [INFO] = opensuse-15.5-5.1_opam-2.1 =
2024-05-16 13:11.34 [INFO] Cancelled
2024-05-16 13:11.34 [INFO] = opensuse-15.5-4.14_opam-2.1 =
2024-05-16 13:11.34 [INFO] Cancelled
2024-05-16 13:11.34 [INFO] = ubuntu-20.04-5.1_opam-2.1 =
2024-05-16 13:11.34 [INFO] Cancelled
2024-05-16 13:11.34 [INFO] = ubuntu-20.04-4.14_opam-2.1 =
2024-05-16 13:11.34 [INFO] Cancelled
2024-05-16 13:11.34 [INFO] = ubuntu-22.04-5.1_opam-2.1 =
2024-05-16 13:11.34 [INFO] Cancelled
2024-05-16 13:11.34 [INFO] = ubuntu-22.04-4.14_opam-2.1 =
2024-05-16 13:11.34 [INFO] Cancelled
2024-05-16 13:11.34 [INFO] = ubuntu-23.04-5.1_opam-2.1 =
2024-05-16 13:11.34 [INFO] Cancelled
2024-05-16 13:11.34 [INFO] = ubuntu-23.04-4.14_opam-2.1 =
2024-05-16 13:11.34 [INFO] Cancelled
2024-05-16 13:11.34 [INFO] = ubuntu-23.10-5.1_opam-2.1 =
2024-05-16 13:11.34 [INFO] Cancelled
2024-05-16 13:11.34 [INFO] = ubuntu-23.10-4.14_opam-2.1 =
2024-05-16 13:11.34 [INFO] Cancelled
2024-05-16 13:11.34 [INFO] = debian-12-5.1_opam-2.1 =
2024-05-16 13:11.34 [INFO] Cancelled
2024-05-16 13:11.34 [INFO] = debian-12-5.1_opam-2.1 =
2024-05-16 13:11.34 [INFO] Cancelled
2024-05-16 13:11.34 [INFO] = debian-12-5.0_opam-2.1 =
2024-05-16 13:11.34 [INFO] Cancelled
2024-05-16 13:11.34 [INFO] = debian-12-5.0_opam-2.1 =
2024-05-16 13:11.34 [INFO] Cancelled
2024-05-16 13:11.34 [INFO] = debian-12-4.14_opam-2.1 =
2024-05-16 13:11.34 [INFO] Cancelled
2024-05-16 13:11.34 [INFO] = debian-12-4.14_opam-2.1 =
2024-05-16 13:11.34 [INFO] Cancelled
2024-05-16 13:11.34 [INFO] = debian-12-4.13_opam-2.1 =
2024-05-16 13:11.34 [INFO] Cancelled
2024-05-16 13:11.34 [INFO] = debian-12-4.13_opam-2.1 =
2024-05-16 13:11.34 [INFO] Cancelled
2024-05-16 13:11.34 [INFO] = debian-12-4.12_opam-2.1 =
2024-05-16 13:11.34 [INFO] Cancelled
2024-05-16 13:11.34 [INFO] = debian-12-4.12_opam-2.1 =
2024-05-16 13:11.34 [INFO] Cancelled
2024-05-16 13:11.34 [INFO] = debian-12-4.11_opam-2.1 =
2024-05-16 13:11.34 [INFO] Cancelled
2024-05-16 13:11.34 [INFO] = debian-12-4.11_opam-2.1 =
2024-05-16 13:11.34 [INFO] Cancelled
2024-05-16 13:11.34 [INFO] = debian-12-4.10_opam-2.1 =
2024-05-16 13:11.34 [INFO] Cancelled
2024-05-16 13:11.34 [INFO] = debian-12-4.10_opam-2.1 =
2024-05-16 13:11.34 [INFO] Cancelled
2024-05-16 13:11.34 [INFO] = debian-12-4.09_opam-2.1 =
2024-05-16 13:11.34 [INFO] Cancelled
2024-05-16 13:11.34 [INFO] = debian-12-4.09_opam-2.1 =
2024-05-16 13:11.34 [INFO] Cancelled
2024-05-16 13:11.34 [INFO] = debian-12-4.08_opam-2.1 =
2024-05-16 13:11.34 [INFO] Cancelled
2024-05-16 13:11.34 [INFO] = debian-12-4.08_opam-2.1 =
2024-05-16 13:11.34 [INFO] Cancelled
2024-05-16 13:11.34 [INFO] = debian-12-4.07_opam-2.1 =
2024-05-16 13:11.34 [INFO] Not available for this platform
2024-05-16 13:11.34 [INFO] = debian-12-4.07_opam-2.1 =
2024-05-16 13:11.34 [INFO] Not available for this platform
2024-05-16 13:11.34 [INFO] = debian-12-4.06_opam-2.1 =
2024-05-16 13:11.34 [INFO] Not available for this platform
2024-05-16 13:11.34 [INFO] = debian-12-4.06_opam-2.1 =
2024-05-16 13:11.34 [INFO] Not available for this platform
2024-05-16 13:11.34 [INFO] = debian-12-4.05_opam-2.1 =
2024-05-16 13:11.34 [INFO] Not available for this platform
2024-05-16 13:11.34 [INFO] = debian-12-4.05_opam-2.1 =
2024-05-16 13:11.34 [INFO] Not available for this platform
2024-05-16 13:11.34 [INFO] = debian-12-4.04_opam-2.1 =
2024-05-16 13:11.34 [INFO] Not available for this platform
2024-05-16 13:11.34 [INFO] = debian-12-4.04_opam-2.1 =
2024-05-16 13:11.34 [INFO] Not available for this platform
2024-05-16 13:11.34 [INFO] = debian-12-4.03_opam-2.1 =
2024-05-16 13:11.34 [INFO] Not available for this platform
2024-05-16 13:11.34 [INFO] = debian-12-4.03_opam-2.1 =
2024-05-16 13:11.34 [INFO] Not available for this platform
2024-05-16 13:11.34 [INFO] = debian-12-4.02_opam-2.1 =
2024-05-16 13:11.34 [INFO] Not available for this platform
2024-05-16 13:11.34 [INFO] = debian-12-4.02_opam-2.1 =
2024-05-16 13:11.34 [INFO] Not available for this platform
2024-05-16 13:11.34 [INFO] = debian-12-5.2~beta2_opam-2.1 =
2024-05-16 13:11.34 [INFO] Cancelled
2024-05-16 13:11.34 [INFO] = debian-12-5.2~beta2_opam-2.1 =
2024-05-16 13:11.34 [INFO] Cancelled
Job succeeded