1. github
2. ocaml
3. opam-repository
4. 942cf9

(for PR #28841)

Summary of errors

• compilers
  • 4.14
    • frama-c-metacsl.0.10~beta
      • tests (failed: Failed to get sources of alt-ergo.1.01: curl failed)
• distributions
  • alpine-3.22-ocaml-4.14
    • frama-c-metacsl.0.10~beta
      • tests (failed: Failed to get sources of alt-ergo.1.01: curl failed)
  • archlinux-ocaml-4.14
    • frama-c-metacsl.0.10~beta
      • tests (failed: Failed to get sources of alt-ergo.1.01: curl failed)
  • centos-10-ocaml-4.14
    • frama-c-metacsl.0.10~beta
      • tests (failed: Failed to get sources of alt-ergo.1.01: curl failed)
  • centos-9-ocaml-4.14
    • frama-c-metacsl.0.10~beta
      • tests (failed: Failed to get sources of alt-ergo.1.01: curl failed)
  • debian-11-ocaml-4.14
    • frama-c-metacsl.0.10~beta
      • tests (failed: Failed to get sources of alt-ergo.1.01: curl failed)
  • debian-12-ocaml-4.14
    • frama-c-metacsl.0.10~beta
      • tests (failed: Failed to get sources of alt-ergo.1.01: curl failed)
  • debian-testing-ocaml-4.14
    • frama-c-metacsl.0.10~beta
      • tests (failed: Failed to get sources of alt-ergo.1.01: curl failed)
  • debian-unstable-ocaml-4.14
    • frama-c-metacsl.0.10~beta
      • tests (failed: Failed to get sources of alt-ergo.1.01: curl failed)
  • fedora-41-ocaml-4.14
    • frama-c-metacsl.0.10~beta
      • tests (failed: Failed to get sources of alt-ergo.1.01: curl failed)
  • fedora-42-ocaml-4.14
    • frama-c-metacsl.0.10~beta
      • tests (failed: Failed to get sources of alt-ergo.1.01: curl failed)
  • fedora-43-ocaml-4.14
    • frama-c-metacsl.0.10~beta
      • tests (failed: Failed to get sources of alt-ergo.1.01: curl failed)
  • opensuse-15.6-ocaml-4.14
    • frama-c-metacsl.0.10~beta
      • tests (failed: Failed to get sources of alt-ergo.1.01: curl failed)
  • opensuse-tumbleweed-ocaml-4.14
    • frama-c-metacsl.0.10~beta
      • tests (failed: Failed to get sources of alt-ergo.1.01: curl failed)
  • ubuntu-22.04-ocaml-4.14
    • frama-c-metacsl.0.10~beta
      • tests (failed: Failed to get sources of alt-ergo.1.01: curl failed)
  • ubuntu-24.04-ocaml-4.14
    • frama-c-metacsl.0.10~beta
      • tests (failed: Failed to get sources of alt-ergo.1.01: curl failed)
  • ubuntu-25.04-ocaml-4.14
    • frama-c-metacsl.0.10~beta
      • tests (failed: Failed to get sources of alt-ergo.1.01: curl failed)
  • ubuntu-25.10-ocaml-4.14
    • frama-c-metacsl.0.10~beta
      • tests (failed: Failed to get sources of alt-ergo.1.01: curl failed)
• extras
  • arm32-ocaml-4.14
    • frama-c-metacsl.0.10~beta
      • tests (failed: Failed to get sources of alt-ergo.1.01: curl failed)
  • arm64-ocaml-4.14
    • frama-c-metacsl.0.10~beta
      • tests (failed: Failed to get sources of alt-ergo.1.01: curl failed)
  • ocaml-4.14-afl
    • frama-c-metacsl.0.10~beta
      • tests (failed: Failed to get sources of alt-ergo.1.01: curl failed)
  • ocaml-4.14-flambda
    • frama-c-metacsl.0.10~beta
      • tests (failed: Failed to get sources of alt-ergo.1.01: curl failed)
  • ocaml-4.14-flambda-fp
    • frama-c-metacsl.0.10~beta
      • tests (failed: Failed to get sources of alt-ergo.1.01: curl failed)
  • ocaml-4.14-fp
    • frama-c-metacsl.0.10~beta
      • tests (failed: Failed to get sources of alt-ergo.1.01: curl failed)
  • ocaml-4.14-nnp
    • frama-c-metacsl.0.10~beta
      • tests (failed: Failed to get sources of alt-ergo.1.01: curl failed)
  • ocaml-4.14-nnpchecker
    • frama-c-metacsl.0.10~beta
      • tests (failed: Failed to get sources of alt-ergo.1.01: curl failed)
  • ocaml-4.14-no-flat-float-array
    • frama-c-metacsl.0.10~beta
      • tests (failed: Failed to get sources of alt-ergo.1.01: curl failed)
  • opam-2.3-ocaml-4.14
    • frama-c-metacsl.0.10~beta
      • tests (failed: Failed to get sources of alt-ergo.1.01: curl failed)
  • opam-2.4-ocaml-4.14
    • frama-c-metacsl.0.10~beta
      • tests (failed: Failed to get sources of alt-ergo.1.01: curl failed)
  • ppc64-ocaml-4.14
    • frama-c-metacsl.0.10~beta
      • tests (failed: Failed to get sources of alt-ergo.1.01: curl failed)
  • riscv64-ocaml-4.14
    • frama-c-metacsl.0.10~beta
      • tests (failed: Failed to get sources of alt-ergo.1.01: curl failed)
  • s390x-ocaml-4.14
    • frama-c-metacsl.0.10~beta
      • tests (failed: Failed to get sources of alt-ergo.1.01: curl failed)
  • x86_32-ocaml-4.14
    • frama-c-metacsl.0.10~beta
      • tests (failed: Failed to get sources of alt-ergo.1.01: curl failed)
• freebsd (experimental)
  • freebsd-14.3-ocaml-4.14-amd64 (experimental)
    • frama-c-metacsl.0.10~beta
      • tests (failed: Failed to get sources of alt-ergo.1.01: curl failed)
  • freebsd-14.3-ocaml-5.4-amd64 (experimental)
    • frama-c-metacsl.0.10~beta (failed: System package install failed with exit code 3 at command:)