Organisations ocaml-gospel gospel f480c5 ()freebsd-4.14_opam-2.2
freebsd-4.14_opam-2.2

Created at Nov 04 11:08 +00:00
0s in queue
Finished at Nov 04 11:14 +00:00
f480c5
Ran for 0s
Link Copied
Code Copied
Logs

Show raw logs
2024-11-04 11:08.52: New job: test ocaml-gospel/gospel https://github.com/ocaml-gospel/gospel.git#refs/pull/425/head (f480c57a8896d1e10450672b6ae97d6b3ad2eb1f) (freebsd-x86_64:freebsd-4.14_opam-2.2)
Base: freebsd-ocaml-4.14
Opam project build


To reproduce locally:


git clone --recursive "https://github.com/ocaml-gospel/gospel.git" && cd "gospel" && git fetch origin "refs/pull/425/head" && git reset --hard f480c57a
cat > Dockerfile <<'END-OF-DOCKERFILE'
FROM freebsd-ocaml-4.14
# freebsd-4.14_opam-2.2
USER 1000:1000
ENV CLICOLOR_FORCE="1"
ENV OPAMCOLOR="always"
WORKDIR /src
RUN sudo ln -f /usr/local/bin/opam-2.2 /usr/local/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 371a52f4a8b5c88dc9de4f5a5f6375fb0963297a || git fetch origin master) && git reset -q --hard 371a52f4a8b5c88dc9de4f5a5f6375fb0963297a && 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.1 dune-build-info.3.16.1 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.3 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-11-04 11:08.52: Using cache hint "ocaml-gospel/gospel-freebsd-ocaml-4.14-freebsd-4.14_opam-2.2-4a4006d56a562bd7da3ec6c02cc106fb"
2024-11-04 11:08.52: Using OBuilder spec:
((from freebsd-ocaml-4.14)
(comment freebsd-4.14_opam-2.2)
(user (uid 1000) (gid 1000))
(env CLICOLOR_FORCE 1)
(env OPAMCOLOR always)
(workdir /src)
(run (shell "sudo ln -f /usr/local/bin/opam-2.2 /usr/local/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 371a52f4a8b5c88dc9de4f5a5f6375fb0963297a || git fetch origin master) && git reset -q --hard 371a52f4a8b5c88dc9de4f5a5f6375fb0963297a && 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.1 dune-build-info.3.16.1 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.3 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-11-04 11:08.52: Waiting for resource in pool OCluster
2024-11-04 11:08.52: Waiting for worker…
2024-11-04 11:08.52: Got resource from pool OCluster
Building on spring
All commits already cached
HEAD is now at f480c57 Remove reference to distinction between terms and formulae


(from freebsd-ocaml-4.14)
2024-11-04 10:58.29 ---> using "57eeeabfec88366322a66f228a693df277d348dc99f1cc2a63749102c5e1e405" from cache


/: (comment freebsd-4.14_opam-2.2)


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


/: (env CLICOLOR_FORCE 1)


/: (env OPAMCOLOR always)


/: (workdir /src)


/src: (run (shell "sudo ln -f /usr/local/bin/opam-2.2 /usr/local/bin/opam"))
2024-11-04 10:58.30 ---> using "331cb54c56ba47239b6522558e6295f68ba679de6d38a5ddae6e1282bd4c3227" from cache


/src: (run (shell "opam init --reinit -ni"))
No configuration file found, using built-in defaults.
Checking for available remotes: rsync and local, git.
- you won't be able to use mercurial repositories unless you install the hg command on your system.
- you won't be able to use darcs repositories unless you install the darcs command on your system.


This version of opam requires an update to the layout of /home/opam/.opam from version 2.1 to version 2.2, which can't be reverted.
You may want to back it up before going further.


Continue? [y/n] y
[NOTE] The 'jobs' option was reset, its value was 1 and its new value will vary according to the current number of cores on your machine. You can restore the fixed value using:
opam option jobs=1 --global
Format upgrade done.


<><> Updating repositories ><><><><><><><><><><><><><><><><><><><><><><><><><><>
[default] no changes from git+file:///home/opam/opam-repository
2024-11-04 10:58.30 ---> using "0ea397e38f2ed580c996b50aedfdb35f589fe8d5328e4d5701e3485ad0ee7d31" from cache


/src: (run (shell "uname -rs && opam exec -- ocaml -version && opam --version"))
FreeBSD 14.0-RELEASE-p11
The OCaml toplevel, version 4.14.2
2.2.1
2024-11-04 10:58.30 ---> using "e6ed3443f91a45dc3e2b2fd8eca0fa438601ccaf0a656f5e040e0ef7ec1bf353" from cache


/src: (workdir /src)


/src: (run (shell "sudo chown opam /src"))
2024-11-04 10:58.30 ---> using "a8768039a9919ab7082a771b4ea48607524661cf72600917c57416f2763555c6" from cache


/src: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "cd ~/opam-repository && (git cat-file -e 371a52f4a8b5c88dc9de4f5a5f6375fb0963297a || git fetch origin master) && git reset -q --hard 371a52f4a8b5c88dc9de4f5a5f6375fb0963297a && git log --no-decorate -n1 --oneline && opam update -u"))
From https://github.com/ocaml/opam-repository
* branch                  master     -> FETCH_HEAD
5e7a27da27..9048aac630  master     -> origin/master
371a52f4a8 Merge pull request #26816 from maiste/release-dune-3.16.1


<><> Updating package repositories ><><><><><><><><><><><><><><><><><><><><><><>
[default] synchronised from git+file:///home/opam/opam-repository


Everything as up-to-date as possible (run with --verbose to show unavailable upgrades).


The following packages are not being upgraded because the new versions conflict with other installed packages:
- ocaml.5.4.0
- ocaml-config.3
However, you may "opam upgrade" these packages explicitly, which will ask permission to downgrade or uninstall the conflicting packages.
Nothing to do.
2024-11-04 10:59.15 ---> saved as "48b74e6b87b5fd6285800b202473a76e1d9974c606b0a264ce4925a846e9d3dc"


/src: (copy (src gospel.opam) (dst ./))
2024-11-04 10:59.15 ---> saved as "f2ed61e9e4ea37c960d0184368cd16a26ed8ec7dea09a6f810774f6d967a6b50"


/src: (run (network host)
(shell "opam pin add -yn gospel.dev './'"))
[gospel.dev] synchronised (file:///src)
gospel is now pinned to file:///src (version dev)
2024-11-04 10:59.17 ---> saved as "7b46c8e8390733371dcaeb6068f70c9e0bd07dc1f5935fd1f6b3669d306fdb22"


/src: (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.1 dune-build-info.3.16.1 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.3 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")


/src: (env CI true)


/src: (env OCAMLCI true)


/src: (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"))
[WARNING] Unknown update command for bsd, skipping system update


<><> Synchronising pinned packages ><><><><><><><><><><><><><><><><><><><><><><>
[gospel.dev] synchronised (no changes)


[NOTE] Package ocaml-options-vanilla is already installed (current version is 1).
[NOTE] Package ocaml-config is already installed (current version is 2).
[NOTE] Package ocaml-base-compiler is already installed (current version is 4.14.2).
[NOTE] Package ocaml is already installed (current version is 4.14.2).
[NOTE] Package host-system-other is already installed (current version is 1).
[NOTE] Package host-arch-x86_64 is already installed (current version is 1).
[NOTE] Package base-unix is already installed (current version is base).
[NOTE] Package base-threads is already installed (current version is base).
[NOTE] Package base-bigarray is already installed (current version is base).
2024-11-04 10:59.36 ---> saved as "4c1682da6417b0c3d2c81abb3da80199e7f72ff225b407c07b0cdf1d2de9611d"


/src: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "opam install $DEPS"))
[NOTE] Package ocaml-options-vanilla is already installed (current version is 1).
[NOTE] Package ocaml-config is already installed (current version is 2).
[NOTE] Package ocaml-base-compiler is already installed (current version is 4.14.2).
[NOTE] Package ocaml is already installed (current version is 4.14.2).
[NOTE] Package host-system-other is already installed (current version is 1).
[NOTE] Package host-arch-x86_64 is already installed (current version is 1).
[NOTE] Package base-unix is already installed (current version is base).
[NOTE] Package base-threads is already installed (current version is base).
[NOTE] Package base-bigarray is already installed (current version is base).
The following actions will be performed:
=== install 31 packages
∗ astring             0.8.5
∗ camlp-streams       5.0.1
∗ cmdliner            1.3.0
∗ cppo                1.7.0
∗ crunch              3.3.1
∗ dune                3.16.1
∗ dune-build-info     3.16.1
∗ fmt                 0.9.0
∗ fpath               0.7.3
∗ menhir              20240715
∗ menhirCST           20240715
∗ menhirLib           20240715
∗ menhirSdk           20240715
∗ ocaml-compiler-libs v0.12.4
∗ 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.3
∗ 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


<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
⬇ retrieved camlp-streams.5.0.1  (cached)
⬇ retrieved cmdliner.1.3.0  (cached)
⬇ retrieved cppo.1.7.0  (cached)
⬇ retrieved crunch.3.3.1  (cached)
⬇ retrieved astring.0.8.5  (cached)
⬇ retrieved fmt.0.9.0  (cached)
⬇ retrieved fpath.0.7.3  (cached)
⬇ retrieved menhir.20240715, menhirCST.20240715, menhirLib.20240715, menhirSdk.20240715  (cached)
⬇ retrieved ocaml-compiler-libs.v0.12.4  (cached)
⬇ retrieved ocamlbuild.0.15.0  (cached)
⬇ retrieved ocamlfind.1.9.6  (cached)
⬇ retrieved pp_loc.2.1.0  (cached)
⬇ retrieved ppx_derivers.1.2.1  (cached)
⬇ retrieved dune.3.16.1, dune-build-info.3.16.1  (cached)
⬇ retrieved ppxlib.0.33.0  (cached)
⬇ retrieved ppx_deriving.6.0.3  (cached)
⬇ retrieved re.1.12.0  (cached)
⬇ retrieved ptime.1.2.0  (cached)
⬇ retrieved seq.base  (cached)
∗ installed seq.base
⬇ retrieved sexplib0.v0.17.0  (cached)
⬇ retrieved result.1.5  (cached)
⬇ retrieved stdlib-shims.0.3.0  (cached)
⬇ retrieved odoc.2.4.3, odoc-parser.2.4.3  (cached)
⬇ retrieved tyxml.4.6.0  (cached)
⬇ retrieved uutf.1.0.3  (cached)
⬇ retrieved topkg.1.0.7  (cached)
∗ installed cmdliner.1.3.0
∗ installed ocamlfind.1.9.6
∗ installed ocamlbuild.0.15.0
∗ installed topkg.1.0.7
∗ installed uutf.1.0.3
∗ installed fmt.0.9.0
∗ installed ptime.1.2.0
∗ installed astring.0.8.5
∗ installed fpath.0.7.3
∗ installed dune.3.16.1
∗ installed crunch.3.3.1
∗ installed cppo.1.7.0
∗ installed camlp-streams.5.0.1
∗ installed menhirCST.20240715
∗ installed ppx_derivers.1.2.1
∗ installed pp_loc.2.1.0
∗ installed menhirSdk.20240715
∗ installed result.1.5
∗ installed stdlib-shims.0.3.0
∗ installed menhirLib.20240715
∗ installed sexplib0.v0.17.0
∗ installed dune-build-info.3.16.1
∗ installed ocaml-compiler-libs.v0.12.4
∗ installed odoc-parser.2.4.3
∗ installed re.1.12.0
∗ installed tyxml.4.6.0
∗ installed odoc.2.4.3
∗ installed ppxlib.0.33.0
∗ installed ppx_deriving.6.0.3
∗ installed menhir.20240715
Done.
2024-11-04 11:02.52 ---> saved as "83edd7a61282e6e5efde6edd1065eb544492e01041a3b1609e08a813c0bc08d1"


/src: (copy (src .) (dst /src))
2024-11-04 11:02.58 ---> saved as "aa62c22cf47e397987eb4e571f9add965bbd1f1dd34e9186f526f5d61de74999"


/src: (run (shell "opam exec -- dune build @install @check @runtest && rm -rf _build"))
2024-11-04 11:03.36 ---> saved as "aece2ff3b22781927fc36544af05d7b3f5e783d5103a9abe27a5cec8e568642f"
Job succeeded
2024-11-04 11:14.01: Job succeeded