Getting StartedDocumentation
Organisationsbacktrackingocaml-hashcons9d6a78 (master)debian-13-5.4_riscv64_opam-2.5

debian-13-5.4_riscv64_opam-2.5

Link Copied
Code Copied

Logs

Show raw logs
2026-04-16 16:37.51: New job: test backtracking/ocaml-hashcons https://github.com/backtracking/ocaml-hashcons.git#refs/heads/master (9d6a7855e70ac59f8e434efdc301aa9c9bc81991) (linux-riscv64:debian-13-5.4_riscv64_opam-2.5)
Base: ocaml/opam:debian-13-ocaml-5.4@sha256:f4c82456e10adf78c4bf1849b05a8072cede5c2008b962470255ffcd8dbe88d2
Opam project build


To reproduce locally:


git clone --recursive "https://github.com/backtracking/ocaml-hashcons.git" -b "master" && cd "ocaml-hashcons" && git reset --hard 9d6a7855
cat > Dockerfile <<'END-OF-DOCKERFILE'
FROM ocaml/opam:debian-13-ocaml-5.4@sha256:f4c82456e10adf78c4bf1849b05a8072cede5c2008b962470255ffcd8dbe88d2
# debian-13-5.4_riscv64_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 5f7bb1a6e69f1ea15d8b2b08eeaa70a162c6fd41 || git fetch origin master) && git reset -q --hard 5f7bb1a6e69f1ea15d8b2b08eeaa70a162c6fd41 && git log --no-decorate -n1 --oneline && opam update -u
COPY --chown=1000:1000 hashcons.opam ./
RUN opam pin add -yn hashcons.dev './'
RUN echo '(lang dune 3.0)' > './dune-project'
ENV DEPS="base-bigarray.base base-domains.base base-effects.base base-nnp.base base-threads.base base-unix.base dune.3.22.2 ocaml.5.4.1 ocaml-base-compiler.5.4.1 ocaml-compiler.5.4.1 ocaml-config.3 ocaml-options-vanilla.1"
ENV CI="true"
ENV OCAMLCI="true"
RUN opam update --depexts && opam install --cli=2.5 --depext-only -y hashcons.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-16 16:37.51: Using cache hint "backtracking/ocaml-hashcons-ocaml/opam:debian-13-ocaml-5.4@sha256:f4c82456e10adf78c4bf1849b05a8072cede5c2008b962470255ffcd8dbe88d2-debian-13-5.4_riscv64_opam-2.5-328aa0a01541641a5d1839296f6a75ed"
2026-04-16 16:37.51: Using OBuilder spec:
((from ocaml/opam:debian-13-ocaml-5.4@sha256:f4c82456e10adf78c4bf1849b05a8072cede5c2008b962470255ffcd8dbe88d2)
(comment debian-13-5.4_riscv64_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 5f7bb1a6e69f1ea15d8b2b08eeaa70a162c6fd41 || git fetch origin master) && git reset -q --hard 5f7bb1a6e69f1ea15d8b2b08eeaa70a162c6fd41 && git log --no-decorate -n1 --oneline && opam update -u"))
(copy (src hashcons.opam) (dst ./))
(run (network host)
(shell "opam pin add -yn hashcons.dev './'"))
(run (shell "echo '(lang dune 3.0)' > './dune-project'"))
(env DEPS "base-bigarray.base base-domains.base base-effects.base base-nnp.base base-threads.base base-unix.base dune.3.22.2 ocaml.5.4.1 ocaml-base-compiler.5.4.1 ocaml-compiler.5.4.1 ocaml-config.3 ocaml-options-vanilla.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 hashcons.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-16 16:37.51: Waiting for resource in pool OCluster
2026-04-16 16:37.52: Waiting for worker…
2026-04-17 06:51.56: Got resource from pool OCluster
Building on riscv-bm-03.sw.ci.dev
All commits already cached
HEAD is now at 9d6a785 fixes for ocaml-ci


(from ocaml/opam:debian-13-ocaml-5.4@sha256:f4c82456e10adf78c4bf1849b05a8072cede5c2008b962470255ffcd8dbe88d2)
Unable to find image 'ocaml/opam:debian-13-ocaml-5.4@sha256:f4c82456e10adf78c4bf1849b05a8072cede5c2008b962470255ffcd8dbe88d2' locally
docker.io/ocaml/opam@sha256:f4c82456e10adf78c4bf1849b05a8072cede5c2008b962470255ffcd8dbe88d2: Pulling from ocaml/opam
3e61abfb88ee: Already exists
76b1d07b1a3b: Already exists
ed0a77094d87: Already exists
dda49bd8ac08: Already exists
79841c38fc3d: Already exists
e23fd9439732: Already exists
269e9966d790: Already exists
52cc4e5d6121: Already exists
805e105b52dc: Already exists
ae53fa2b5435: Already exists
ba1024a7802c: Already exists
f9c71e0456b4: Already exists
49cdc11c577a: Already exists
2e917b473884: Already exists
4efed90b2a45: Already exists
fc9321643256: Already exists
892336fe0a02: Already exists
892336fe0a02: Already exists
bea8863f3ee4: Already exists
4e9cefa5299b: Already exists
e3cdf819ebd9: Already exists
cc5f28ef7662: Already exists
4f4fb700ef54: Already exists
d67f67cce0c9: Already exists
254dc46749bc: Already exists
98586e50ba59: Already exists
7ee86d26bde1: Already exists
9274f8a25124: Already exists
54277c64a2cf: Already exists
b701c0327936: Already exists
5520cae2ba51: Already exists
86fe8720be3d: Already exists
1e9a6fbdb422: Already exists
a3abdbab59cc: Already exists
1f1577d1ab69: Already exists
243e765f6bda: Already exists
414badea72c2: Already exists
dca5542c6a6c: Already exists
d11abfe346ed: Already exists
850f5f345d4f: Already exists
45a44aaebcc9: Already exists
1560e6818fb1: Pulling fs layer
e1c0adedaeec: Pulling fs layer
716945da171a: Pulling fs layer
dbaa1f0ec53c: Pulling fs layer
b4a0ec97be31: Pulling fs layer
ac156bfd6092: Pulling fs layer
0b5fd1110f83: Pulling fs layer
b4a0ec97be31: Waiting
ac156bfd6092: Waiting
dbaa1f0ec53c: Waiting
0b5fd1110f83: Waiting
1560e6818fb1: Verifying Checksum
1560e6818fb1: Download complete
e1c0adedaeec: Verifying Checksum
e1c0adedaeec: Download complete
716945da171a: Verifying Checksum
716945da171a: Download complete
1560e6818fb1: Pull complete
e1c0adedaeec: Pull complete
b4a0ec97be31: Verifying Checksum
b4a0ec97be31: Download complete
ac156bfd6092: Verifying Checksum
ac156bfd6092: Download complete
0b5fd1110f83: Download complete
716945da171a: Pull complete
dbaa1f0ec53c: Verifying Checksum
dbaa1f0ec53c: Download complete
dbaa1f0ec53c: Pull complete
b4a0ec97be31: Pull complete
ac156bfd6092: Pull complete
0b5fd1110f83: Pull complete
Digest: sha256:f4c82456e10adf78c4bf1849b05a8072cede5c2008b962470255ffcd8dbe88d2
Status: Downloaded newer image for ocaml/opam@sha256:f4c82456e10adf78c4bf1849b05a8072cede5c2008b962470255ffcd8dbe88d2
2026-04-17 06:51.57 ---> using "484c9fa6139706b8afa9764d3652fd702882e8e5056f93677166c9b0844fd477" from cache


/: (comment debian-13-5.4_riscv64_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-17 06:51.57 ---> using "e3fcd17677c90ac2badefc4393aa347c1e93834183d635a58d0a18813c0c1cf1" 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 ><><><><><><><><><><><><><><><><><><><><><><><><><><>
[default] Initialised
2026-04-17 06:51.57 ---> using "42cf30aa206babc6ffd1b40cb1eabcdb67ddeeb803e5b9fba84bc3e9e8f2948d" from cache


/src: (run (shell "uname -rs && opam exec -- ocaml -version && opam --version"))
Linux 5.10.113-scw1
The OCaml toplevel, version 5.4.1
2.5.0
2026-04-17 06:51.57 ---> using "204e85d4f615e24dd02cc13f1e4e8326d5e39b1662e210cce7aafc479b511e97" from cache


/src: (workdir /src)


/src: (run (shell "sudo chown opam /src"))
2026-04-17 06:51.57 ---> using "c5b3cebc9752b51849933feed0e5e6313e53b598d28fd4f67c68d439427a305a" from cache


/src: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "cd ~/opam-repository && (git cat-file -e 5f7bb1a6e69f1ea15d8b2b08eeaa70a162c6fd41 || git fetch origin master) && git reset -q --hard 5f7bb1a6e69f1ea15d8b2b08eeaa70a162c6fd41 && git log --no-decorate -n1 --oneline && opam update -u"))
From https://github.com/ocaml/opam-repository
* branch                  master     -> FETCH_HEAD
42844088d7..0b0acbee05  master     -> origin/master
5f7bb1a6e6 Merge pull request #29704 from shonfeder/release-dune-3.22.2


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


Everything as up-to-date as possible
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-17 06:51.57 ---> using "86b3499a19d7c33216688ea31ff71804a9b15f85eeacc47939e250563d7d8bbc" from cache


/src: (copy (src hashcons.opam) (dst ./))
2026-04-17 06:51.58 ---> saved as "daf7dd5ec9d1597bebac56a90c96a5b69638b232f7de84dee8b44ba4bfb71530"


/src: (run (network host)
(shell "opam pin add -yn hashcons.dev './'"))
[hashcons.dev] synchronised (file:///src)
[WARNING] Failed checks on hashcons package definition from source at file:///src:
warning 62: License doesn't adhere to the SPDX standard, see https://spdx.org/licenses/ : "LGPL-2.1"
hashcons is now pinned to file:///src (version dev)
2026-04-17 06:52.05 ---> saved as "a9eff5ebf0b3b442bad6e653022b61ce3dfac528a319e67397b6fcfcaded6a50"


/src: (run (shell "echo '(lang dune 3.0)' > './dune-project'"))
2026-04-17 06:52.06 ---> saved as "96a8ad473f7c88fadb4c3058a09a7bf8c9d911f0063117a6f2c453aebbc3d5eb"


/src: (env DEPS "base-bigarray.base base-domains.base base-effects.base base-nnp.base base-threads.base base-unix.base dune.3.22.2 ocaml.5.4.1 ocaml-base-compiler.5.4.1 ocaml-compiler.5.4.1 ocaml-config.3 ocaml-options-vanilla.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 hashcons.dev $DEPS"))
+ /usr/bin/sudo "apt-get" "update"
- Hit:1 http://deb.debian.org/debian trixie InRelease
- Get:2 http://deb.debian.org/debian trixie-updates InRelease [47.3 kB]
- Get:3 http://deb.debian.org/debian-security trixie-security InRelease [43.4 kB]
- Get:4 http://deb.debian.org/debian-security trixie-security/main riscv64 Packages [116 kB]
- Fetched 207 kB in 1s (409 kB/s)
- Reading package lists...
- 


<><> Synchronising pinned packages ><><><><><><><><><><><><><><><><><><><><><><>
[hashcons.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 3).
[NOTE] Package ocaml-compiler is already installed (current version is 5.4.1).
[NOTE] Package ocaml-base-compiler is already installed (current version is 5.4.1).
[NOTE] Package ocaml is already installed (current version is 5.4.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-nnp is already installed (current version is base).
[NOTE] Package base-effects is already installed (current version is base).
[NOTE] Package base-domains 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-17 06:52.52 ---> saved as "d3fd99699e4f788d133ffc07b22812830d81e3375bf219ebac71593beea33690"


/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 3).
[NOTE] Package ocaml-compiler is already installed (current version is 5.4.1).
[NOTE] Package ocaml-base-compiler is already installed (current version is 5.4.1).
[NOTE] Package ocaml is already installed (current version is 5.4.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-nnp is already installed (current version is base).
[NOTE] Package base-effects is already installed (current version is base).
[NOTE] Package base-domains 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 1 package
- install dune 3.22.2


<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> retrieved dune.3.22.2  (cached)
-> installed dune.3.22.2
Done.
# To update the current shell environment, run: eval $(opam env)
2026-04-17 06:58.14 ---> saved as "d786870617d17a32c5c912eca9d27eedfe3d92cfb0875761d0895a960203d3d9"


/src: (copy (src .) (dst /src))
2026-04-17 06:58.15 ---> saved as "0904d8e56c420443955f389a9af60a2b6f7b1f64420e8625cecec245b623aa12"


/src: (run (shell "opam exec -- dune build @install @check @runtest && rm -rf _build"))
(cd _build/default && ./rule110.exe)
table length: 1000007 / nb. entries: 80031 / sum of bucket length: 231445
smallest bucket: 0 / median bucket: 0 / biggest bucket: 7
66188 results
(cd _build/default && ./test_qs.exe)
subst count: 5749
top heap words: 211780 (827 kb)
table length: 10007 / nb. entries: 6204 / sum of bucket length: 14745
smallest bucket: 0 / median bucket: 0 / biggest bucket: 7
2026-04-17 06:58.30 ---> saved as "1d49638a6bc761b5fad413d179940a0102ed3d58ae5472631bc3adeac14fef38"
Job succeeded
2026-04-17 06:58.30: Job succeeded