Opam-CI

(for PR #24569)

Summary of errors

(analysis) (failed: Command "git" "-C" "/var/lib/ocurrent/var/git/opam-repository.git-a0bc4b41ddb868605dc1500002c27cfa79faf4389fe53b6754817ea16b48d458" "branch" "-f" "fetch-5f5dd1d74d8d2b6836f680fc2b5f7ca5964c39df" "5f5dd1d74d8d2b6836f680fc2b5f7ca5964c39df" exited with status 128)

Full results

(analysis) (failed: Command "git" "-C" "/var/lib/ocurrent/var/git/opam-repository.git-a0bc4b41ddb868605dc1500002c27cfa79faf4389fe53b6754817ea16b48d458" "branch" "-f" "fetch-5f5dd1d74d8d2b6836f680fc2b5f7ca5964c39df" "5f5dd1d74d8d2b6836f680fc2b5f7ca5964c39df" exited with status 128)
(lint) (passed)
compilers
distributions
- alpine-3.18-ocaml-4.14
  - wasm_coq.0.1 (failed: [SKIP] Package not available)
- alpine-3.18-ocaml-5.1
  - wasm_coq.0.1 (failed: [SKIP] Package not available)
- archlinux-ocaml-4.14
  - wasm_coq.0.1 (failed: [SKIP] Package not available)
- archlinux-ocaml-5.1
  - wasm_coq.0.1 (failed: [SKIP] Package not available)
- debian-10-ocaml-4.14
  - wasm_coq.0.1 (failed: [SKIP] Package not available)
- debian-10-ocaml-5.1
  - wasm_coq.0.1 (failed: [SKIP] Package not available)
- debian-11-ocaml-4.14
  - wasm_coq.0.1 (failed: [SKIP] Package not available)
- debian-11-ocaml-5.1
  - wasm_coq.0.1 (failed: [SKIP] Package not available)
- debian-testing-ocaml-4.14
  - wasm_coq.0.1 (failed: [SKIP] Package not available)
- debian-testing-ocaml-5.1
  - wasm_coq.0.1 (failed: [SKIP] Package not available)
- debian-unstable-ocaml-4.14
  - wasm_coq.0.1 (failed: [SKIP] Package not available)
- debian-unstable-ocaml-5.1
  - wasm_coq.0.1 (failed: [SKIP] Package not available)
- fedora-37-ocaml-4.14
  - wasm_coq.0.1 (failed: [SKIP] Package not available)
- fedora-37-ocaml-5.1
  - wasm_coq.0.1 (failed: [SKIP] Package not available)
- fedora-38-ocaml-4.14
  - wasm_coq.0.1 (failed: [SKIP] Package not available)
- fedora-38-ocaml-5.1
  - wasm_coq.0.1 (failed: [SKIP] Package not available)
- opensuse-15.5-ocaml-4.14
  - wasm_coq.0.1 (failed: [SKIP] Package not available)
- opensuse-15.5-ocaml-5.1
  - wasm_coq.0.1 (failed: [SKIP] Package not available)
- opensuse-tumbleweed-ocaml-4.14
  - wasm_coq.0.1 (failed: [SKIP] Package not available)
- opensuse-tumbleweed-ocaml-5.1
  - wasm_coq.0.1 (failed: [SKIP] Package not available)
- oraclelinux-8-ocaml-4.14
  - wasm_coq.0.1 (failed: [SKIP] Package not available)
- oraclelinux-8-ocaml-5.1
  - wasm_coq.0.1 (failed: [SKIP] Package not available)
- oraclelinux-9-ocaml-4.14
  - wasm_coq.0.1 (failed: [SKIP] Package not available)
- oraclelinux-9-ocaml-5.1
  - wasm_coq.0.1 (failed: [SKIP] Package not available)
- ubuntu-20.04-ocaml-4.14
  - wasm_coq.0.1 (failed: [SKIP] Package not available)
- ubuntu-20.04-ocaml-5.1
  - wasm_coq.0.1 (failed: [SKIP] Package not available)
- ubuntu-22.04-ocaml-4.14
  - wasm_coq.0.1 (failed: [SKIP] Package not available)
- ubuntu-22.04-ocaml-5.1
  - wasm_coq.0.1 (failed: [SKIP] Package not available)
- ubuntu-23.04-ocaml-4.14
  - wasm_coq.0.1 (failed: [SKIP] Package not available)
- ubuntu-23.04-ocaml-5.1
  - wasm_coq.0.1 (failed: [SKIP] Package not available)
extras
- arm32-ocaml-4.14
  - wasm_coq.0.1 (failed: [SKIP] Package not available)
- arm32-ocaml-5.1
  - wasm_coq.0.1 (failed: [SKIP] Package not available)
- arm64-ocaml-4.14
  - wasm_coq.0.1 (failed: [SKIP] Package not available)
- arm64-ocaml-5.1
  - wasm_coq.0.1 (failed: [SKIP] Package not available)
- ocaml-4.14-afl
  - wasm_coq.0.1 (failed: [SKIP] Package not available)
- ocaml-4.14-flambda
  - wasm_coq.0.1 (failed: [SKIP] Package not available)
- ocaml-4.14-flambda-fp
  - wasm_coq.0.1 (failed: [SKIP] Package not available)
- ocaml-4.14-fp
  - wasm_coq.0.1 (failed: [SKIP] Package not available)
- ocaml-4.14-nnp
  - wasm_coq.0.1 (failed: [SKIP] Package not available)
- ocaml-4.14-nnpchecker
  - wasm_coq.0.1 (failed: [SKIP] Package not available)
- ocaml-4.14-no-flat-float-array
  - wasm_coq.0.1 (failed: [SKIP] Package not available)
- ocaml-5.1-afl
  - wasm_coq.0.1 (failed: [SKIP] Package not available)
- ocaml-5.1-flambda
  - wasm_coq.0.1 (failed: [SKIP] Package not available)
- ocaml-5.1-no-flat-float-array
  - wasm_coq.0.1 (failed: [SKIP] Package not available)
- opam-2.0-ocaml-4.14
  - wasm_coq.0.1 (failed: [SKIP] Package not available)
- opam-2.0-ocaml-5.1
  - wasm_coq.0.1 (failed: [SKIP] Package not available)
- opam-2.1-ocaml-4.14
  - wasm_coq.0.1 (failed: [SKIP] Package not available)
- opam-2.1-ocaml-5.1
  - wasm_coq.0.1 (failed: [SKIP] Package not available)
- ppc64-ocaml-4.14
  - wasm_coq.0.1 (failed: [SKIP] Package not available)
- ppc64-ocaml-5.1
  - wasm_coq.0.1 (failed: [SKIP] Package not available)
- s390x-ocaml-4.14
  - wasm_coq.0.1 (failed: [SKIP] Package not available)
- s390x-ocaml-5.1
  - wasm_coq.0.1 (failed: [SKIP] Package not available)
- x86_32-ocaml-4.14
  - wasm_coq.0.1 (failed: [SKIP] Package not available)
- x86_32-ocaml-5.1
  - wasm_coq.0.1 (failed: [SKIP] Package not available)
freebsd (experimental)
- freebsd-ocaml-4.14-amd64 (experimental)
  - wasm_coq.0.1 (failed: [SKIP] Package not available)
- freebsd-ocaml-5.1-amd64 (experimental)
  - wasm_coq.0.1 (failed: [SKIP] Package not available)
macos
- macos-homebrew-ocaml-4.14-amd64 (experimental)
  - wasm_coq.0.1 (failed: [SKIP] Package not available)
- macos-homebrew-ocaml-4.14-arm64 (experimental)
  - wasm_coq.0.1 (failed: [SKIP] Package not available)
- macos-homebrew-ocaml-5.1-amd64 (experimental)
  - wasm_coq.0.1 (failed: [SKIP] Package not available)
- macos-homebrew-ocaml-5.1-arm64 (experimental)
  - wasm_coq.0.1 (failed: [SKIP] Package not available)