Organisationsocaml-gospelgospeld35aad ()fedora-40-4.14_opam-2.2

fedora-40-4.14_opam-2.2

Link Copied
Code Copied

Logs

2024-09-14 12:17.00: New job: test ocaml-gospel/gospel https://github.com/ocaml-gospel/gospel.git#refs/pull/419/head (d35aadb474a42623fa02088f6cb625b45a332ba1) (linux-x86_64:fedora-40-4.14_opam-2.2)
Base: ocaml/opam:fedora-40-ocaml-4.14@sha256:7a559fbce3a98093c0094707c7eec2d9d32c1dbf3fec97d107ee0221607570f2
Opam project build


To reproduce locally:


git clone --recursive "https://github.com/ocaml-gospel/gospel.git" && cd "gospel" && git fetch origin "refs/pull/419/head" && git reset --hard d35aadb4
cat > Dockerfile <<'END-OF-DOCKERFILE'
FROM ocaml/opam:fedora-40-ocaml-4.14@sha256:7a559fbce3a98093c0094707c7eec2d9d32c1dbf3fec97d107ee0221607570f2
# fedora-40-4.14_opam-2.2
USER 1000:1000
ENV CLICOLOR_FORCE="1"
ENV OPAMCOLOR="always"
WORKDIR /src
RUN sudo dnf install -y findutils
RUN sudo ln -f /usr/bin/opam-2.2 /usr/bin/opam
RUN opam init --reinit -ni
RUN uname -rs && opam exec -- ocaml -version && opam --version
WORKDIR /src
RUN sudo chown opam /src
RUN cd ~/opam-repository && (git cat-file -e 9fc1dccb6ed2120740afae78788fc9803a290af1 || git fetch origin master) && git reset -q --hard 9fc1dccb6ed2120740afae78788fc9803a290af1 && git log --no-decorate -n1 --oneline && opam update -u
COPY --chown=1000:1000 gospel.opam ./
RUN opam pin add -yn gospel.dev './'
ENV DEPS="astring.0.8.5 base-bigarray.base base-threads.base base-unix.base camlp-streams.5.0.1 cmdliner.1.3.0 cppo.1.7.0 crunch.3.3.1 dune.3.16.0 dune-build-info.3.16.0 fmt.0.9.0 fpath.0.7.3 host-arch-x86_64.1 host-system-other.1 menhir.20240715 menhirCST.20240715 menhirLib.20240715 menhirSdk.20240715 ocaml.4.14.2 ocaml-base-compiler.4.14.2 ocaml-compiler-libs.v0.12.4 ocaml-config.2 ocaml-options-vanilla.1 ocamlbuild.0.15.0 ocamlfind.1.9.6 odoc.2.4.3 odoc-parser.2.4.3 pp_loc.2.1.0 ppx_derivers.1.2.1 ppx_deriving.6.0.2 ppxlib.0.33.0 ptime.1.2.0 re.1.12.0 result.1.5 seq.base sexplib0.v0.17.0 stdlib-shims.0.3.0 topkg.1.0.7 tyxml.4.6.0 uutf.1.0.3"
ENV CI="true"
ENV OCAMLCI="true"
RUN opam update --depexts && opam install --cli=2.2 --depext-only -y gospel.dev $DEPS
RUN opam install $DEPS
COPY --chown=1000:1000 . /src
RUN opam exec -- dune build @install @check @runtest && rm -rf _build


END-OF-DOCKERFILE
docker build .
END-REPRO-BLOCK


2024-09-14 12:17.00: Using cache hint "ocaml-gospel/gospel-ocaml/opam:fedora-40-ocaml-4.14@sha256:7a559fbce3a98093c0094707c7eec2d9d32c1dbf3fec97d107ee0221607570f2-fedora-40-4.14_opam-2.2-0cc861867b04e199dbb3f0b340867b65"
2024-09-14 12:17.00: Using OBuilder spec:
((from ocaml/opam:fedora-40-ocaml-4.14@sha256:7a559fbce3a98093c0094707c7eec2d9d32c1dbf3fec97d107ee0221607570f2)
 (comment fedora-40-4.14_opam-2.2)
 (user (uid 1000) (gid 1000))
 (env CLICOLOR_FORCE 1)
 (env OPAMCOLOR always)
 (workdir /src)
 (run (network host)
      (shell "sudo dnf install -y findutils"))
 (run (shell "sudo ln -f /usr/bin/opam-2.2 /usr/bin/opam"))
 (run (shell "opam init --reinit -ni"))
 (run (shell "uname -rs && opam exec -- ocaml -version && opam --version"))
 (workdir /src)
 (run (shell "sudo chown opam /src"))
 (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
      (network host)
      (shell "cd ~/opam-repository && (git cat-file -e 9fc1dccb6ed2120740afae78788fc9803a290af1 || git fetch origin master) && git reset -q --hard 9fc1dccb6ed2120740afae78788fc9803a290af1 && git log --no-decorate -n1 --oneline && opam update -u"))
 (copy (src gospel.opam) (dst ./))
 (run (network host)
      (shell "opam pin add -yn gospel.dev './'"))
 (env DEPS "astring.0.8.5 base-bigarray.base base-threads.base base-unix.base camlp-streams.5.0.1 cmdliner.1.3.0 cppo.1.7.0 crunch.3.3.1 dune.3.16.0 dune-build-info.3.16.0 fmt.0.9.0 fpath.0.7.3 host-arch-x86_64.1 host-system-other.1 menhir.20240715 menhirCST.20240715 menhirLib.20240715 menhirSdk.20240715 ocaml.4.14.2 ocaml-base-compiler.4.14.2 ocaml-compiler-libs.v0.12.4 ocaml-config.2 ocaml-options-vanilla.1 ocamlbuild.0.15.0 ocamlfind.1.9.6 odoc.2.4.3 odoc-parser.2.4.3 pp_loc.2.1.0 ppx_derivers.1.2.1 ppx_deriving.6.0.2 ppxlib.0.33.0 ptime.1.2.0 re.1.12.0 result.1.5 seq.base sexplib0.v0.17.0 stdlib-shims.0.3.0 topkg.1.0.7 tyxml.4.6.0 uutf.1.0.3")
 (env CI true)
 (env OCAMLCI true)
 (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
      (network host)
      (shell "opam update --depexts && opam install --cli=2.2 --depext-only -y gospel.dev $DEPS"))
 (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
      (network host)
      (shell "opam install $DEPS"))
 (copy (src .) (dst /src))
 (run (shell "opam exec -- dune build @install @check @runtest && rm -rf _build"))
)


2024-09-14 12:17.00: Waiting for resource in pool OCluster
2024-09-14 12:17.01: Waiting for worker…
2024-09-14 12:17.01: Got resource from pool OCluster
Building on x86-bm-c2.sw.ocaml.org
All commits already cached
HEAD is now at d35aadb Update changelog


(from ocaml/opam:fedora-40-ocaml-4.14@sha256:7a559fbce3a98093c0094707c7eec2d9d32c1dbf3fec97d107ee0221607570f2)
2024-09-14 12:17.47 ---> saved as "d935b78b3b3d1b9175556810bedcd612a82afc930885b14f52a4ce87dfe76c2d"


/: (comment fedora-40-4.14_opam-2.2)


/: (user (uid 1000) (gid 1000))


/: (env CLICOLOR_FORCE 1)


/: (env OPAMCOLOR always)


/: (workdir /src)


/src: (run (network host)
           (shell "sudo dnf install -y findutils"))
Fedora 40 - x86_64                              357 kB/s |  29 kB     00:00    
Fedora 40 openh264 (From Cisco) - x86_64         15 kB/s | 989  B     00:00    
Fedora 40 - x86_64 - Updates                    330 kB/s |  27 kB     00:00    
Fedora 40 - x86_64 - Updates                    928 kB/s | 3.6 MB     00:04    
Errors during downloading metadata for repository 'updates':
  - Status code: 404 for https://mirror.in2p3.fr/pub/fedora/linux/updates/40/Everything/x86_64/repodata/d6e45ac0832a2ab3b6e826159240583d819ebf18df7118b7c31caac751eb07c1-updateinfo.xml.zck (IP: 134.158.69.171)
  - Status code: 404 for http://distrib-coffee.ipsl.jussieu.fr/pub/linux/fedora/linux/updates/40/Everything/x86_64/repodata/d6e45ac0832a2ab3b6e826159240583d819ebf18df7118b7c31caac751eb07c1-updateinfo.xml.zck (IP: 134.157.176.20)
  - Status code: 416 for http://mirror.i3d.net/pub/fedora/linux/updates/40/Everything/x86_64/repodata/985131eb383a961a0a5d45b4007c8ac72e145698948000dba77b2dd7d8b58518-primary.xml.zck (IP: 2a00:1630:3400::213)
  - Status code: 416 for http://mirror.i3d.net/pub/fedora/linux/updates/40/Everything/x86_64/repodata/d6e45ac0832a2ab3b6e826159240583d819ebf18df7118b7c31caac751eb07c1-updateinfo.xml.zck (IP: 2a00:1630:3400::213)
  - Status code: 404 for http://distrib-coffee.ipsl.jussieu.fr/pub/linux/fedora/linux/updates/40/Everything/x86_64/repodata/985131eb383a961a0a5d45b4007c8ac72e145698948000dba77b2dd7d8b58518-primary.xml.zck (IP: 134.157.176.20)
  - Status code: 404 for https://ftp.lip6.fr/ftp/pub/linux/distributions/fedora/updates/40/Everything/x86_64/repodata/d6e45ac0832a2ab3b6e826159240583d819ebf18df7118b7c31caac751eb07c1-updateinfo.xml.zck (IP: 2001:660:3302:282a:d294:66ff:fe8b:9c18)
  - Status code: 404 for https://mirror.in2p3.fr/pub/fedora/linux/updates/40/Everything/x86_64/repodata/985131eb383a961a0a5d45b4007c8ac72e145698948000dba77b2dd7d8b58518-primary.xml.zck (IP: 134.158.69.171)
  - Status code: 404 for https://ftp.lip6.fr/ftp/pub/linux/distributions/fedora/updates/40/Everything/x86_64/repodata/985131eb383a961a0a5d45b4007c8ac72e145698948000dba77b2dd7d8b58518-primary.xml.zck (IP: 2001:660:3302:282a:d294:66ff:fe8b:9c18)
  - Curl error (23): Failed writing received data to disk/application for https://mirror.nl.mirhosting.net/fedora/linux/updates/40/Everything/x86_64/repodata/985131eb383a961a0a5d45b4007c8ac72e145698948000dba77b2dd7d8b58518-primary.xml.zck [Failure writing output to destination]
  - Status code: 404 for http://mirror.in2p3.fr/pub/fedora/linux/updates/40/Everything/x86_64/repodata/d6e45ac0832a2ab3b6e826159240583d819ebf18df7118b7c31caac751eb07c1-updateinfo.xml.zck (IP: 134.158.69.171)
  - Status code: 404 for http://ftp.lip6.fr/ftp/pub/linux/distributions/fedora/updates/40/Everything/x86_64/repodata/d6e45ac0832a2ab3b6e826159240583d819ebf18df7118b7c31caac751eb07c1-updateinfo.xml.zck (IP: 2001:660:3302:282a:d294:66ff:fe8b:9c18)
  - Status code: 404 for https://mirror.nl.mirhosting.net/fedora/linux/updates/40/Everything/x86_64/repodata/d6e45ac0832a2ab3b6e826159240583d819ebf18df7118b7c31caac751eb07c1-updateinfo.xml.zck (IP: 2a03:afc0:1:1114::)
  - Status code: 404 for http://fr2.rpmfind.net/linux/fedora/linux/updates/40/Everything/x86_64/repodata/d6e45ac0832a2ab3b6e826159240583d819ebf18df7118b7c31caac751eb07c1-updateinfo.xml.zck (IP: 195.220.108.108)
  - Status code: 404 for https://fr2.rpmfind.net/linux/fedora/linux/updates/40/Everything/x86_64/repodata/d6e45ac0832a2ab3b6e826159240583d819ebf18df7118b7c31caac751eb07c1-updateinfo.xml.zck (IP: 195.220.108.108)
  - Status code: 404 for http://mirror.nl.mirhosting.net/fedora/linux/updates/40/Everything/x86_64/repodata/d6e45ac0832a2ab3b6e826159240583d819ebf18df7118b7c31caac751eb07c1-updateinfo.xml.zck (IP: 2a03:afc0:1:1114::)
  - Status code: 404 for https://fr2.rpmfind.net/linux/fedora/linux/updates/40/Everything/x86_64/repodata/985131eb383a961a0a5d45b4007c8ac72e145698948000dba77b2dd7d8b58518-primary.xml.zck (IP: 195.220.108.108)
  - Status code: 416 for https://mirror.i3d.net/pub/fedora/linux/updates/40/Everything/x86_64/repodata/d6e45ac0832a2ab3b6e826159240583d819ebf18df7118b7c31caac751eb07c1-updateinfo.xml.zck (IP: 2a00:1630:3400::213)
  - Status code: 404 for http://ftp.colocall.net/pub/fedora/linux/updates/40/Everything/x86_64/repodata/d6e45ac0832a2ab3b6e826159240583d819ebf18df7118b7c31caac751eb07c1-updateinfo.xml.zck (IP: 62.149.8.130)
  - Status code: 404 for http://fr2.rpmfind.net/linux/fedora/linux/updates/40/Everything/x86_64/repodata/985131eb383a961a0a5d45b4007c8ac72e145698948000dba77b2dd7d8b58518-primary.xml.zck (IP: 195.220.108.108)
  - Status code: 404 for http://ftp.lip6.fr/ftp/pub/linux/distributions/fedora/updates/40/Everything/x86_64/repodata/985131eb383a961a0a5d45b4007c8ac72e145698948000dba77b2dd7d8b58518-primary.xml.zck (IP: 2001:660:3302:282a:d294:66ff:fe8b:9c18)
  - Status code: 416 for https://mirror.i3d.net/pub/fedora/linux/updates/40/Everything/x86_64/repodata/985131eb383a961a0a5d45b4007c8ac72e145698948000dba77b2dd7d8b58518-primary.xml.zck (IP: 2a00:1630:3400::213)
  - Status code: 404 for http://mirror.in2p3.fr/pub/fedora/linux/updates/40/Everything/x86_64/repodata/985131eb383a961a0a5d45b4007c8ac72e145698948000dba77b2dd7d8b58518-primary.xml.zck (IP: 134.158.69.171)
  - Downloading successful, but checksum doesn't match. Calculated: 81b01a0f0843cbed84a244501d8a5e67bc993bf0495f994368770157297c58c9117d8560c87b09d4c3daa67dd93657fe31b8512dde1b1b73105c08f07e39c148(sha512) 81b01a0f0843cbed84a244501d8a5e67bc993bf0495f994368770157297c58c9117d8560c87b09d4c3daa67dd93657fe31b8512dde1b1b73105c08f07e39c148(sha512) 81b01a0f0843cbed84a244501d8a5e67bc993bf0495f994368770157297c58c9117d8560c87b09d4c3daa67dd93657fe31b8512dde1b1b73105c08f07e39c148(sha512) 81b01a0f0843cbed84a244501d8a5e67bc993bf0495f994368770157297c58c9117d8560c87b09d4c3daa67dd93657fe31b8512dde1b1b73105c08f07e39c148(sha512)  Expected: 113fa928e99c893c6cc538c02087a131e83cc2dd98ffa999e82247211189c69e9501d4339fbdb1d892f34cd7e952bdb841cab292d6051056c26d03d7d4128561(sha512) 76ac78b1a3881d060021c0efb92800be82acf8dacb8cdcf00c6f4472461a2726a1a44b48c238239ce631e23af1e67e0ee824b5751409beefedb04863ece0e8bf(sha512) b453171835536aca8d248e77360e191d9da9da11650cbb28e18eb42883b90614b0e37de8e098949a752b2da5a4aa66b25a9a59e09f9b0d82b897e2000c2b179d(sha512) 957bf765893ead9394d51f70e7f5749f30837e6007d7635bb5499fc75ab9f45f8111a02bba68f9fb7aa369879382ac45e7b88070e064dd7565b875cb00f670da(sha512) 
Error: Failed to download metadata for repo 'updates': Yum repo downloading error: Downloading error(s): repodata/985131eb383a961a0a5d45b4007c8ac72e145698948000dba77b2dd7d8b58518-primary.xml.zck - Download failed: Curl error (23): Failed writing received data to disk/application for https://mirror.nl.mirhosting.net/fedora/linux/updates/40/Everything/x86_64/repodata/985131eb383a961a0a5d45b4007c8ac72e145698948000dba77b2dd7d8b58518-primary.xml.zck [Failure writing output to destination]
"/usr/bin/env" "bash" "-c" "sudo dnf install -y findutils" failed with exit status 1
2024-09-14 12:17.52: Job failed: Failed: Build failed