Getting StartedDocumentation
Organisationstmcgilchristdatalogfa08cf (master)alpine-3.23-4.14_opam-2.5

alpine-3.23-4.14_opam-2.5

Link Copied
Code Copied

Logs

Show raw logs
2026-04-28 18:43.41: New job: test tmcgilchrist/datalog https://github.com/tmcgilchrist/datalog.git#refs/heads/master (fa08cf6ce9371741a74bcd5f83509ee5c424ec71) (linux-x86_64:alpine-3.23-4.14_opam-2.5)
Base: ocaml/opam:alpine-3.23-ocaml-4.14@sha256:c98c3afc38d39340ca2b1e9c3c1b8c127283806cba433dd4865c01d18c619ef9
Opam project build


To reproduce locally:


git clone --recursive "https://github.com/tmcgilchrist/datalog.git" -b "master" && cd "datalog" && git reset --hard fa08cf6c
cat > Dockerfile <<'END-OF-DOCKERFILE'
FROM ocaml/opam:alpine-3.23-ocaml-4.14@sha256:c98c3afc38d39340ca2b1e9c3c1b8c127283806cba433dd4865c01d18c619ef9
# alpine-3.23-4.14_opam-2.5
USER 1000:1000
ENV CLICOLOR_FORCE="1"
ENV OPAMCOLOR="always"
WORKDIR /src
RUN sudo ln -f /usr/bin/opam-2.5 /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 036883c5402b41e0d35f6b200245cc7c3a302395 || git fetch origin master) && git reset -q --hard 036883c5402b41e0d35f6b200245cc7c3a302395 && git log --no-decorate -n1 --oneline && opam update -u
COPY --chown=1000:1000 datalog.opam ./
RUN opam pin add -yn datalog.dev './'
RUN echo '(lang dune 3.0)' > './dune-project'
ENV DEPS="astring.0.8.5 base-bigarray.base base-threads.base base-unix.base camlp-streams.5.0.1 cmdliner.2.1.1 cppo.1.8.0 csexp.1.5.2 dune.3.22.2 fmt.0.11.0 logs.0.10.0 mdx.2.5.2 ocaml.4.14.3 ocaml-base-compiler.4.14.3 ocaml-config.2 ocaml-options-vanilla.1 ocaml-version.4.1.0 ocamlbuild.0.16.1 ocamlfind.1.9.8 re.1.14.0 result.1.5 topkg.1.1.1"
ENV CI="true"
ENV OCAMLCI="true"
RUN opam update --depexts && opam install --cli=2.5 --depext-only -y datalog.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


2026-04-28 18:43.41: Using cache hint "tmcgilchrist/datalog-ocaml/opam:alpine-3.23-ocaml-4.14@sha256:c98c3afc38d39340ca2b1e9c3c1b8c127283806cba433dd4865c01d18c619ef9-alpine-3.23-4.14_opam-2.5-e127e789a4fe837d57ae7c05bce4a43c"
2026-04-28 18:43.41: Using OBuilder spec:
((from ocaml/opam:alpine-3.23-ocaml-4.14@sha256:c98c3afc38d39340ca2b1e9c3c1b8c127283806cba433dd4865c01d18c619ef9)
(comment alpine-3.23-4.14_opam-2.5)
(user (uid 1000) (gid 1000))
(env CLICOLOR_FORCE 1)
(env OPAMCOLOR always)
(workdir /src)
(run (shell "sudo ln -f /usr/bin/opam-2.5 /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 036883c5402b41e0d35f6b200245cc7c3a302395 || git fetch origin master) && git reset -q --hard 036883c5402b41e0d35f6b200245cc7c3a302395 && git log --no-decorate -n1 --oneline && opam update -u"))
(copy (src datalog.opam) (dst ./))
(run (network host)
(shell "opam pin add -yn datalog.dev './'"))
(run (shell "echo '(lang dune 3.0)' > './dune-project'"))
(env DEPS "astring.0.8.5 base-bigarray.base base-threads.base base-unix.base camlp-streams.5.0.1 cmdliner.2.1.1 cppo.1.8.0 csexp.1.5.2 dune.3.22.2 fmt.0.11.0 logs.0.10.0 mdx.2.5.2 ocaml.4.14.3 ocaml-base-compiler.4.14.3 ocaml-config.2 ocaml-options-vanilla.1 ocaml-version.4.1.0 ocamlbuild.0.16.1 ocamlfind.1.9.8 re.1.14.0 result.1.5 topkg.1.1.1")
(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.5 --depext-only -y datalog.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"))
)


2026-04-28 18:43.41: Waiting for resource in pool OCluster
2026-04-28 18:43.42: Waiting for worker…
2026-04-28 18:43.58: Got resource from pool OCluster
Building on asteria.caelum.ci.dev
All commits already cached
HEAD is now at fa08cf6 Remove 32bit architectures.


(from ocaml/opam:alpine-3.23-ocaml-4.14@sha256:c98c3afc38d39340ca2b1e9c3c1b8c127283806cba433dd4865c01d18c619ef9)
Unable to find image 'ocaml/opam:alpine-3.23-ocaml-4.14@sha256:c98c3afc38d39340ca2b1e9c3c1b8c127283806cba433dd4865c01d18c619ef9' locally
docker.io/ocaml/opam@sha256:c98c3afc38d39340ca2b1e9c3c1b8c127283806cba433dd4865c01d18c619ef9: Pulling from ocaml/opam
6a0ac1617861: Already exists
9630673831f3: Pulling fs layer
4cffb540229a: Pulling fs layer
aa3cee094119: Pulling fs layer
f2700202f619: Pulling fs layer
33135c7375d5: Pulling fs layer
1ea4b64ae955: Pulling fs layer
ca34ef70eda1: Pulling fs layer
f2700202f619: Waiting
33135c7375d5: Waiting
1ea4b64ae955: Waiting
ca34ef70eda1: Waiting
d4998b6f8f35: Pulling fs layer
4a43cfe8648c: Pulling fs layer
d4998b6f8f35: Waiting
453dd28eaace: Pulling fs layer
a962f0379f0a: Pulling fs layer
453dd28eaace: Waiting
b68882dcbbd8: Pulling fs layer
3f63b4eac828: Pulling fs layer
b68882dcbbd8: Waiting
0720e1e1068a: Pulling fs layer
3f63b4eac828: Waiting
0676d4d6023a: Pulling fs layer
0ab690805f49: Pulling fs layer
0720e1e1068a: Waiting
0676d4d6023a: Waiting
fc0af979c0fe: Pulling fs layer
0ab690805f49: Waiting
4f4fb700ef54: Pulling fs layer
fc0af979c0fe: Waiting
63f1d0bef8ae: Pulling fs layer
4f4fb700ef54: Waiting
43fd6995d88f: Pulling fs layer
63f1d0bef8ae: Waiting
c775bfb331ab: Pulling fs layer
a7a9b5ed8780: Pulling fs layer
86ac791930d3: Pulling fs layer
43fd6995d88f: Waiting
c775bfb331ab: Waiting
2e34d70b785c: Pulling fs layer
a7a9b5ed8780: Waiting
56c554cb0baa: Pulling fs layer
0109b7ea4beb: Pulling fs layer
2e34d70b785c: Waiting
a72aa581a14e: Pulling fs layer
0109b7ea4beb: Waiting
0b969b88b90b: Pulling fs layer
a72aa581a14e: Waiting
d1ae0e2bf910: Pulling fs layer
0b969b88b90b: Waiting
cfd8efe5a061: Pulling fs layer
d1ae0e2bf910: Waiting
a34595d6f491: Pulling fs layer
7333547f58a0: Pulling fs layer
a34595d6f491: Waiting
803cdf5f2902: Pulling fs layer
cfd8efe5a061: Waiting
7333547f58a0: Waiting
d74501489c54: Pulling fs layer
628aecb9cafb: Pulling fs layer
803cdf5f2902: Waiting
0c52f398a865: Pulling fs layer
c0458221ae1b: Pulling fs layer
d74501489c54: Waiting
5f395ae7d7f2: Pulling fs layer
628aecb9cafb: Waiting
767edc63c5be: Pulling fs layer
c0458221ae1b: Waiting
0c52f398a865: Waiting
f3eb2829860a: Pulling fs layer
5f395ae7d7f2: Waiting
767edc63c5be: Waiting
2cde0115c1f3: Pulling fs layer
f3eb2829860a: Waiting
2cde0115c1f3: Waiting
9630673831f3: Verifying Checksum
9630673831f3: Download complete
9630673831f3: Pull complete
4cffb540229a: Verifying Checksum
4cffb540229a: Download complete
4cffb540229a: Pull complete
33135c7375d5: Verifying Checksum
33135c7375d5: Download complete
f2700202f619: Verifying Checksum
f2700202f619: Download complete
1ea4b64ae955: Verifying Checksum
1ea4b64ae955: Download complete
ca34ef70eda1: Verifying Checksum
ca34ef70eda1: Download complete
aa3cee094119: Verifying Checksum
aa3cee094119: Download complete
4a43cfe8648c: Verifying Checksum
4a43cfe8648c: Download complete
d4998b6f8f35: Verifying Checksum
d4998b6f8f35: Download complete
453dd28eaace: Verifying Checksum
453dd28eaace: Download complete
a962f0379f0a: Download complete
b68882dcbbd8: Verifying Checksum
b68882dcbbd8: Download complete
3f63b4eac828: Verifying Checksum
3f63b4eac828: Download complete
0720e1e1068a: Download complete
0676d4d6023a: Verifying Checksum
0676d4d6023a: Download complete
0ab690805f49: Verifying Checksum
0ab690805f49: Download complete
fc0af979c0fe: Download complete
4f4fb700ef54: Verifying Checksum
4f4fb700ef54: Download complete
63f1d0bef8ae: Verifying Checksum
63f1d0bef8ae: Download complete
c775bfb331ab: Verifying Checksum
c775bfb331ab: Download complete
a7a9b5ed8780: Verifying Checksum
a7a9b5ed8780: Download complete
86ac791930d3: Verifying Checksum
86ac791930d3: Download complete
2e34d70b785c: Download complete
56c554cb0baa: Verifying Checksum
56c554cb0baa: Download complete
0109b7ea4beb: Verifying Checksum
0109b7ea4beb: Download complete
a72aa581a14e: Download complete
0b969b88b90b: Download complete
d1ae0e2bf910: Verifying Checksum
d1ae0e2bf910: Download complete
cfd8efe5a061: Download complete
7333547f58a0: Verifying Checksum
7333547f58a0: Download complete
d74501489c54: Verifying Checksum
d74501489c54: Download complete
628aecb9cafb: Download complete
0c52f398a865: Verifying Checksum
0c52f398a865: Download complete
aa3cee094119: Pull complete
f2700202f619: Pull complete
33135c7375d5: Pull complete
1ea4b64ae955: Pull complete
ca34ef70eda1: Pull complete
d4998b6f8f35: Pull complete
4a43cfe8648c: Pull complete
453dd28eaace: Pull complete
a962f0379f0a: Pull complete
b68882dcbbd8: Pull complete
3f63b4eac828: Pull complete
0720e1e1068a: Pull complete
0676d4d6023a: Pull complete
0ab690805f49: Pull complete
fc0af979c0fe: Pull complete
4f4fb700ef54: Pull complete
63f1d0bef8ae: Pull complete
43fd6995d88f: Pull complete
c775bfb331ab: Pull complete
a7a9b5ed8780: Pull complete
86ac791930d3: Pull complete
2e34d70b785c: Pull complete
56c554cb0baa: Pull complete
0109b7ea4beb: Pull complete
a72aa581a14e: Pull complete
0b969b88b90b: Pull complete
d1ae0e2bf910: Pull complete
cfd8efe5a061: Pull complete
803cdf5f2902: Verifying Checksum
803cdf5f2902: Download complete
a34595d6f491: Verifying Checksum
a34595d6f491: Download complete
767edc63c5be: Download complete
f3eb2829860a: Download complete
2cde0115c1f3: Download complete
5f395ae7d7f2: Verifying Checksum
5f395ae7d7f2: Download complete
c0458221ae1b: Verifying Checksum
c0458221ae1b: Download complete
a34595d6f491: Pull complete
7333547f58a0: Pull complete
803cdf5f2902: Pull complete
d74501489c54: Pull complete
628aecb9cafb: Pull complete
0c52f398a865: Pull complete
c0458221ae1b: Pull complete
5f395ae7d7f2: Pull complete
767edc63c5be: Pull complete
f3eb2829860a: Pull complete
2cde0115c1f3: Pull complete
Digest: sha256:c98c3afc38d39340ca2b1e9c3c1b8c127283806cba433dd4865c01d18c619ef9
Status: Downloaded newer image for ocaml/opam@sha256:c98c3afc38d39340ca2b1e9c3c1b8c127283806cba433dd4865c01d18c619ef9
2026-04-28 18:44.06 ---> using "8e65bc4d84a4bbc3f291f4c89c5f0411ea9740fc4228eddb2c11cbc44748b04d" from cache


/: (comment alpine-3.23-4.14_opam-2.5)


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


/: (env CLICOLOR_FORCE 1)


/: (env OPAMCOLOR always)


/: (workdir /src)


/src: (run (shell "sudo ln -f /usr/bin/opam-2.5 /usr/bin/opam"))
2026-04-28 18:44.07 ---> using "aab497e11bbd2fd71b7803c973cd82c25e2349fb71321f802961e3807e924999" from cache


/src: (run (shell "opam init --reinit -ni"))
Configuring from /home/opam/.opamrc and then from 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.0 to version 2.2, which can't be reverted.
You may want to back it up before going further.


Continue? [Y/n] y
Format upgrade done.


<><> Updating repositories ><><><><><><><><><><><><><><><><><><><><><><><><><><>
[ERROR] Could not update repository "ocaml-patches-overlay": "/usr/bin/git fetch -q" exited with code 128 "fatal: unable to access 'https://github.com/ocurrent/opam-repository/': Could not resolve host: github.com (Could not contact DNS servers)"
[default] Initialised
2026-04-28 18:44.09 ---> saved as "eb2bed6cc5341e5b0471166d705fb405ed6ae7bb0de6d51c8d40ccae315d2b42"


/src: (run (shell "uname -rs && opam exec -- ocaml -version && opam --version"))
Linux 6.8.0-107-generic
The OCaml toplevel, version 4.14.3
2.5.1
2026-04-28 18:44.19 ---> saved as "ea09d7cee032ea00f9c93f1d8f0d9acf6ca9697250ec8c7e8afdd1bda0b49776"


/src: (workdir /src)


/src: (run (shell "sudo chown opam /src"))
2026-04-28 18:44.23 ---> saved as "cac31a3672ff69f16a2ecc50953ac5f79547f2bf715d87c44760644423dcc0a2"


/src: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "cd ~/opam-repository && (git cat-file -e 036883c5402b41e0d35f6b200245cc7c3a302395 || git fetch origin master) && git reset -q --hard 036883c5402b41e0d35f6b200245cc7c3a302395 && git log --no-decorate -n1 --oneline && opam update -u"))
036883c540 Merge pull request #29788 from dbuenzli/b0-publish-cmdliner.2.1.1


<><> Updating package repositories ><><><><><><><><><><><><><><><><><><><><><><>
[ocaml-patches-overlay] no changes from git+https://github.com/ocurrent/opam-repository#patches
[default] synchronised from git+file:///home/opam/opam-repository


Everything as up-to-date as possible (run with --verbose to show unavailable upgrades).
However, you may "opam upgrade" these packages explicitly at these versions (e.g. "opam upgrade ocaml.5.5.0"), which will ask permission to downgrade or uninstall the conflicting packages.
Nothing to do.
# To update the current shell environment, run: eval $(opam env)
2026-04-28 18:44.55 ---> saved as "1aeecfba43fa8e15a34dc2bfbe74bd96097aede56149e1fb29ce7ea967c31441"


/src: (copy (src datalog.opam) (dst ./))
2026-04-28 18:45.19 ---> saved as "4c7e73c371907ad0581eee048072e5b0c1e10a35e430b88e30cd045a781baeb7"


/src: (run (network host)
(shell "opam pin add -yn datalog.dev './'"))
[datalog.dev] synchronised (file:///src)
datalog is now pinned to file:///src (version dev)
2026-04-28 18:45.50 ---> saved as "213797120ae121e019c7bda550505154f11654be56c160d1826cfec2e630dbde"


/src: (run (shell "echo '(lang dune 3.0)' > './dune-project'"))
2026-04-28 18:46.21 ---> saved as "9b480a3cd68a35fcf1a880029f2179059ca2ef9b7ed560bb07061625b8911d78"


/src: (env DEPS "astring.0.8.5 base-bigarray.base base-threads.base base-unix.base camlp-streams.5.0.1 cmdliner.2.1.1 cppo.1.8.0 csexp.1.5.2 dune.3.22.2 fmt.0.11.0 logs.0.10.0 mdx.2.5.2 ocaml.4.14.3 ocaml-base-compiler.4.14.3 ocaml-config.2 ocaml-options-vanilla.1 ocaml-version.4.1.0 ocamlbuild.0.16.1 ocamlfind.1.9.8 re.1.14.0 result.1.5 topkg.1.1.1")


/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.5 --depext-only -y datalog.dev $DEPS"))
+ /usr/bin/sudo "apk" "update"
- v3.23.4-87-g1a6cf4ecc50 [https://dl-cdn.alpinelinux.org/alpine/v3.23/main]
- v3.23.4-87-g1a6cf4ecc50 [https://dl-cdn.alpinelinux.org/alpine/v3.23/community]
- v20260127-8614-g3dadfe355ed [https://dl-cdn.alpinelinux.org/alpine/edge/main]
- v20260127-8630-g198de671ae5 [https://dl-cdn.alpinelinux.org/alpine/edge/community]
- v20260127-8630-g198de671ae5 [https://dl-cdn.alpinelinux.org/alpine/edge/testing]
- OK: 62100 distinct packages available


<><> Synchronising pinned packages ><><><><><><><><><><><><><><><><><><><><><><>
[datalog.dev] synchronised (file:///src)


[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.3).
[NOTE] Package ocaml is already installed (current version is 4.14.3).
[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).
# To update the current shell environment, run: eval $(opam env)
2026-04-28 18:47.10 ---> saved as "8b28e3efe4b020a3b47092aed4831ed2c3c947ef57c01b3095c104bd4c73025e"


/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.3).
[NOTE] Package ocaml is already installed (current version is 4.14.3).
[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 15 packages
- install astring       0.8.5
- install camlp-streams 5.0.1
- install cmdliner      2.1.1
- install cppo          1.8.0
- install csexp         1.5.2
- install dune          3.22.2
- install fmt           0.11.0
- install logs          0.10.0
- install mdx           2.5.2
- install ocaml-version 4.1.0
- install ocamlbuild    0.16.1
- install ocamlfind     1.9.8
- install re            1.14.0
- install result        1.5
- install topkg         1.1.1


<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> retrieved astring.0.8.5  (cached)
-> retrieved camlp-streams.5.0.1  (cached)
-> retrieved cmdliner.2.1.1  (cached)
-> retrieved cppo.1.8.0  (cached)
-> retrieved csexp.1.5.2  (cached)
-> retrieved fmt.0.11.0  (cached)
-> retrieved logs.0.10.0  (cached)
-> retrieved ocaml-version.4.1.0  (cached)
-> retrieved mdx.2.5.2  (cached)
-> retrieved ocamlbuild.0.16.1  (cached)
-> retrieved ocamlfind.1.9.8  (cached)
-> retrieved re.1.14.0  (cached)
-> retrieved result.1.5  (cached)
-> retrieved topkg.1.1.1  (cached)
-> retrieved dune.3.22.2  (cached)
-> installed cmdliner.2.1.1
-> installed ocamlbuild.0.16.1
-> installed ocamlfind.1.9.8
-> installed topkg.1.1.1
-> installed fmt.0.11.0
-> installed astring.0.8.5
-> installed logs.0.10.0
-> installed dune.3.22.2
-> installed csexp.1.5.2
-> installed camlp-streams.5.0.1
-> installed result.1.5
-> installed ocaml-version.4.1.0
-> installed cppo.1.8.0
-> installed re.1.14.0
-> installed mdx.2.5.2
Done.
# To update the current shell environment, run: eval $(opam env)
2026-04-28 18:48.42 ---> saved as "7e863d8b7d6a017ae9533679706464ed37201477e52fb9ce710bd71fb9f552c2"


/src: (copy (src .) (dst /src))
2026-04-28 18:51.11 ---> saved as "f187fd026f39ee1d874738c1eb98c37ab952b75f21fd51f8d18a810665b622bd"


/src: (run (shell "opam exec -- dune build @install @check @runtest && rm -rf _build"))
(cd _build/default && /home/opam/.opam/4.14/bin/ocamlc.opt -w @1..3@5..28@30..39@43@46..47@49..57@61..62-40 -strict-sequence -strict-formats -short-paths -keep-locs -color always -safe-string -warn-error -a+8 -g -bin-annot -I src/top_down/.datalog_top_down.objs/byte -I src/bottom_up/.datalog.objs/byte -intf-suffix .ml -no-alias-deps -opaque -open Datalog_top_down__ -o src/top_down/.datalog_top_down.objs/byte/datalog_top_down.cmo -c -impl src/top_down/Datalog_top_down.ml)
File "src/top_down/Datalog_top_down.ml", line 1681, characters 10-17:
1681 |       let new_var =
^^^^^^^
Warning 26 [unused-var]: unused variable new_var.
(cd _build/default && /home/opam/.opam/4.14/bin/ocamlopt.opt -w @1..3@5..28@30..39@43@46..47@49..57@61..62-40 -strict-sequence -strict-formats -short-paths -keep-locs -color always -safe-string -warn-error -a+8 -g -I src/top_down/.datalog_top_down.objs/byte -I src/top_down/.datalog_top_down.objs/native -I src/bottom_up/.datalog.objs/byte -I src/bottom_up/.datalog.objs/native -intf-suffix .ml -no-alias-deps -opaque -open Datalog_top_down__ -o src/top_down/.datalog_top_down.objs/native/datalog_top_down.cmx -c -impl src/top_down/Datalog_top_down.ml)
File "src/top_down/Datalog_top_down.ml", line 1681, characters 10-17:
1681 |       let new_var =
^^^^^^^
Warning 26 [unused-var]: unused variable new_var.
2026-04-28 18:51.19 ---> saved as "dd97f43e20cf582b7df0f6fd698e338554aa26d3f2359eb9e4501c8af30f7c96"
Job succeeded
2026-04-28 18:51.24: Job succeeded