OCamllabs icon Home|Differences with the last checks|Previous runs


Building on doris.caelum.ci.dev

(from ocaml/opam:debian-unstable)
Unable to find image 'ocaml/opam:debian-unstable' locally
debian-unstable: Pulling from ocaml/opam
Digest: sha256:3b17f093210ab4b2143df87d6bcffe7c8b76edac3aeb5b6ef89c0a626b2cfad4
Status: Downloaded newer image for ocaml/opam:debian-unstable
2025-06-20 22:37.35 ---> using "0acd5aeaa8f7bc314514d9795d14a7f12ec72a6a5b11c5904350189734c6859b" from cache

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

/: (env OPAMPRECISETRACKING 1)

/: (env OPAMUTF8 never)

/: (env OPAMEXTERNALSOLVER builtin-0install)

/: (env OPAMCRITERIA +removed)

/: (env CI true)

/: (env OPAM_HEALTH_CHECK_CI true)

/: (run (shell "sudo ln -f /usr/bin/opam-dev /usr/bin/opam"))
2025-06-20 22:37.35 ---> using "40df4fa4cdfc68a5fa7a326047e82a7adc5df52b8059d4a7b745bdd50aad56e7" from cache

/: (run (network host)
        (shell "rm -rf ~/opam-repository && git clone -q 'https://github.com/ocaml/opam-repository' ~/opam-repository && git -C ~/opam-repository checkout -q 85c0ae7c3d35162c6ab6387e823d02d11bb7c212"))
2025-06-20 22:37.35 ---> using "b84eca2a00483a6b2c6df2ffab4d6d94655aed06a514ded91e77432786de54f2" from cache

/: (run (shell "rm -rf ~/.opam && opam init -ya --bare --config ~/.opamrc-sandbox ~/opam-repository"))
Configuring from /home/opam/.opamrc-sandbox, then /home/opam/.opamrc, and finally 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.


<><> Fetching repository information ><><><><><><><><><><><><><><><><><><><><><>
[default] Initialised

User configuration:
  ~/.profile is already up-to-date.
[NOTE] Make sure that ~/.profile is well sourced in your ~/.bashrc.

2025-06-20 22:37.35 ---> using "cdf15c30c809691a58c51fa61dd7a0eeb40101a920b892cc27caec109d66fec4" from cache

/: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
        (network host)
        (shell "opam switch create --repositories=default '4.12' '4.12.1'"))

<><> Installing new switch packages <><><><><><><><><><><><><><><><><><><><><><>
Switch invariant: ["ocaml-base-compiler" {= "4.12.1"}]

<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> retrieved ocaml-config.2  (cached)
-> installed base-bigarray.base
-> installed base-threads.base
-> installed base-unix.base
-> installed ocaml-options-vanilla.1
-> retrieved ocaml-base-compiler.4.12.1  (cached)
-> installed ocaml-base-compiler.4.12.1
-> installed ocaml-config.2
-> installed ocaml.4.12.1
Done.
# To update the current shell environment, run: eval $(opam env --switch=4.12)
2025-06-20 22:37.35 ---> using "a22b3cbadc45cc27920d7f9d748e27fe5df62eae743af41b48617fbe787d3d9b" from cache

/: (run (network host)
        (shell "opam update --depexts"))
+ /usr/bin/sudo "apt-get" "update"
- Get:1 http://deb.debian.org/debian unstable InRelease [208 kB]
- Get:2 http://deb.debian.org/debian unstable/main amd64 Packages.diff/Index [63.6 kB]
- Get:3 http://deb.debian.org/debian unstable/main amd64 Packages T-2025-06-20-2006.27-F-2025-06-14-1435.52.pdiff [183 kB]
- Get:3 http://deb.debian.org/debian unstable/main amd64 Packages T-2025-06-20-2006.27-F-2025-06-14-1435.52.pdiff [183 kB]
- Fetched 455 kB in 1s (329 kB/s)
- Reading package lists...
- 
2025-06-20 22:37.35 ---> using "08ae14768c292f8c3d9776297cbb4ffe11cbb90ef0ae7cd0093ad748f74bf491" from cache

/: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
        (network host)
        (shell  "opam remove -y unikraft.0.18.0\
               \nopam install -vy unikraft.0.18.0\
               \nres=$?\
               \nif [ $res = 31 ]; then\
               \n    if opam show -f x-ci-accept-failures: unikraft.0.18.0 | grep -q 'debian-unstable'; then\
               \n        echo \"This package failed and has been disabled for CI using the 'x-ci-accept-failures' field.\"\
               \n        exit 69\
               \n    fi\
               \nfi \
               \n\
               \n\
               \nexit $res"))
[NOTE] unikraft.0.18.0 is not installed.

Nothing to do.
The following actions will be performed:
=== install 4 packages
  - install conf-bison    2      [required by unikraft]
  - install conf-flex     2      [required by unikraft]
  - install conf-python-3 9.0.0  [required by unikraft]
  - install unikraft      0.18.0

The following system packages will first need to be installed:
    bison flex python3

<><> Handling external dependencies <><><><><><><><><><><><><><><><><><><><><><>

opam believes some required external dependencies are missing. opam can:
> 1. Run apt-get to install them (may need root/sudo access)
  2. Display the recommended apt-get command and wait while you run it manually (e.g. in another terminal)
  3. Continue anyway, and, upon success, permanently register that this external dependency is present, but not detectable
  4. Abort the installation

[1/2/3/4] 1

+ /usr/bin/sudo "apt-get" "install" "-qq" "-yy" "bison" "flex" "python3"
- Selecting previously unselected package m4.
- (Reading database ... 
(Reading database ... 5%
(Reading database ... 10%
(Reading database ... 15%
(Reading database ... 20%
(Reading database ... 25%
(Reading database ... 30%
(Reading database ... 35%
(Reading database ... 40%
(Reading database ... 45%
(Reading database ... 50%
(Reading database ... 55%
(Reading database ... 60%
(Reading database ... 65%
(Reading database ... 70%
(Reading database ... 75%
(Reading database ... 80%
(Reading database ... 85%
(Reading database ... 90%
(Reading database ... 95%
(Reading database ... 100%
(Reading database ... 20679 files and directories currently installed.)
- Preparing to unpack .../archives/m4_1.4.19-8_amd64.deb ...
- Unpacking m4 (1.4.19-8) ...
- Selecting previously unselected package flex.
- Preparing to unpack .../flex_2.6.4-8.2+b4_amd64.deb ...
- Unpacking flex (2.6.4-8.2+b4) ...
- Selecting previously unselected package libpython3.13-minimal:amd64.
- Preparing to unpack .../libpython3.13-minimal_3.13.5-1_amd64.deb ...
- Unpacking libpython3.13-minimal:amd64 (3.13.5-1) ...
- Selecting previously unselected package python3.13-minimal.
- Preparing to unpack .../python3.13-minimal_3.13.5-1_amd64.deb ...
- Unpacking python3.13-minimal (3.13.5-1) ...
- Setting up libpython3.13-minimal:amd64 (3.13.5-1) ...
- Setting up python3.13-minimal (3.13.5-1) ...
- Selecting previously unselected package python3-minimal.
- (Reading database ... 
(Reading database ... 5%
(Reading database ... 10%
(Reading database ... 15%
(Reading database ... 20%
(Reading database ... 25%
(Reading database ... 30%
(Reading database ... 35%
(Reading database ... 40%
(Reading database ... 45%
(Reading database ... 50%
(Reading database ... 55%
(Reading database ... 60%
(Reading database ... 65%
(Reading database ... 70%
(Reading database ... 75%
(Reading database ... 80%
(Reading database ... 85%
(Reading database ... 90%
(Reading database ... 95%
(Reading database ... 100%
(Reading database ... 21187 files and directories currently installed.)
- Preparing to unpack .../0-python3-minimal_3.13.4-1_amd64.deb ...
- Unpacking python3-minimal (3.13.4-1) ...
- Selecting previously unselected package media-types.
- Preparing to unpack .../1-media-types_13.0.0_all.deb ...
- Unpacking media-types (13.0.0) ...
- Selecting previously unselected package readline-common.
- Preparing to unpack .../2-readline-common_8.2-6_all.deb ...
- Unpacking readline-common (8.2-6) ...
- Selecting previously unselected package libreadline8t64:amd64.
- Preparing to unpack .../3-libreadline8t64_8.2-6_amd64.deb ...
- Adding 'diversion of /lib/x86_64-linux-gnu/libhistory.so.8 to /lib/x86_64-linux-gnu/libhistory.so.8.usr-is-merged by libreadline8t64'
- Adding 'diversion of /lib/x86_64-linux-gnu/libhistory.so.8.2 to /lib/x86_64-linux-gnu/libhistory.so.8.2.usr-is-merged by libreadline8t64'
- Adding 'diversion of /lib/x86_64-linux-gnu/libreadline.so.8 to /lib/x86_64-linux-gnu/libreadline.so.8.usr-is-merged by libreadline8t64'
- Adding 'diversion of /lib/x86_64-linux-gnu/libreadline.so.8.2 to /lib/x86_64-linux-gnu/libreadline.so.8.2.usr-is-merged by libreadline8t64'
- Unpacking libreadline8t64:amd64 (8.2-6) ...
- Selecting previously unselected package libpython3.13-stdlib:amd64.
- Preparing to unpack .../4-libpython3.13-stdlib_3.13.5-1_amd64.deb ...
- Unpacking libpython3.13-stdlib:amd64 (3.13.5-1) ...
- Selecting previously unselected package python3.13.
- Preparing to unpack .../5-python3.13_3.13.5-1_amd64.deb ...
- Unpacking python3.13 (3.13.5-1) ...
- Selecting previously unselected package libpython3-stdlib:amd64.
- Preparing to unpack .../6-libpython3-stdlib_3.13.4-1_amd64.deb ...
- Unpacking libpython3-stdlib:amd64 (3.13.4-1) ...
- Setting up python3-minimal (3.13.4-1) ...
- Selecting previously unselected package python3.
- (Reading database ... 
(Reading database ... 5%
(Reading database ... 10%
(Reading database ... 15%
(Reading database ... 20%
(Reading database ... 25%
(Reading database ... 30%
(Reading database ... 35%
(Reading database ... 40%
(Reading database ... 45%
(Reading database ... 50%
(Reading database ... 55%
(Reading database ... 60%
(Reading database ... 65%
(Reading database ... 70%
(Reading database ... 75%
(Reading database ... 80%
(Reading database ... 85%
(Reading database ... 90%
(Reading database ... 95%
(Reading database ... 100%
(Reading database ... 21673 files and directories currently installed.)
- Preparing to unpack .../python3_3.13.4-1_amd64.deb ...
- Unpacking python3 (3.13.4-1) ...
- Selecting previously unselected package bison.
- Preparing to unpack .../bison_2%3a3.8.2+dfsg-1+b2_amd64.deb ...
- Unpacking bison (2:3.8.2+dfsg-1+b2) ...
- Selecting previously unselected package libfl2:amd64.
- Preparing to unpack .../libfl2_2.6.4-8.2+b4_amd64.deb ...
- Unpacking libfl2:amd64 (2.6.4-8.2+b4) ...
- Selecting previously unselected package libfl-dev:amd64.
- Preparing to unpack .../libfl-dev_2.6.4-8.2+b4_amd64.deb ...
- Unpacking libfl-dev:amd64 (2.6.4-8.2+b4) ...
- Setting up media-types (13.0.0) ...
- Setting up m4 (1.4.19-8) ...
- Setting up libfl2:amd64 (2.6.4-8.2+b4) ...
- Setting up bison (2:3.8.2+dfsg-1+b2) ...
- update-alternatives: using /usr/bin/bison.yacc to provide /usr/bin/yacc (yacc) in auto mode
- Setting up readline-common (8.2-6) ...
- Setting up flex (2.6.4-8.2+b4) ...
- Setting up libfl-dev:amd64 (2.6.4-8.2+b4) ...
- Setting up libreadline8t64:amd64 (8.2-6) ...
- Setting up libpython3.13-stdlib:amd64 (3.13.5-1) ...
- Setting up libpython3-stdlib:amd64 (3.13.4-1) ...
- Setting up python3.13 (3.13.5-1) ...
- Setting up python3 (3.13.4-1) ...
- running python rtupdate hooks for python3.13...
- running python post-rtupdate hooks for python3.13...
- Processing triggers for libc-bin (2.41-8) ...

<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> retrieved conf-python-3.9.0.0  (cached)
Processing  4/12: [unikraft.0.18.0: extract]
Processing  5/12: [unikraft.0.18.0: extract] [conf-bison: bison]
Processing  6/12: [unikraft.0.18.0: extract] [conf-bison: bison] [conf-flex: flex]
Processing  7/12: [unikraft.0.18.0: extract] [conf-bison: bison] [conf-flex: flex] [conf-python-3: python3 test.py]
-> retrieved unikraft.0.18.0  (cached)
Processing  7/12: [conf-bison: bison] [conf-flex: flex] [conf-python-3: python3 test.py]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "bison" "--version" (CWD=/home/opam/.opam/4.12/.opam-switch/build/conf-bison.2)
- bison (GNU Bison) 3.8.2
- Written by Robert Corbett and Richard Stallman.
- 
- Copyright (C) 2021 Free Software Foundation, Inc.
- This is free software; see the source for copying conditions.  There is NO
- warranty; not even for MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.
-> compiled  conf-bison.2
Processing  7/12: [conf-flex: flex] [conf-python-3: python3 test.py]
-> installed conf-bison.2
Processing  8/12: [conf-flex: flex] [conf-python-3: python3 test.py]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "flex" "--version" (CWD=/home/opam/.opam/4.12/.opam-switch/build/conf-flex.2)
- flex 2.6.4
-> compiled  conf-flex.2
Processing  8/12: [conf-python-3: python3 test.py]
-> installed conf-flex.2
Processing  9/12: [conf-python-3: python3 test.py]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "python3" "test.py" (CWD=/home/opam/.opam/4.12/.opam-switch/build/conf-python-3.9.0.0)
- python-3 OK
-> compiled  conf-python-3.9.0.0
-> installed conf-python-3.9.0.0
Processing 12/12: [unikraft: rm .github]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "install" "rm" "-rf" ".github" ".gitignore" (CWD=/home/opam/.opam/4.12/.opam-switch/build/unikraft.0.18.0)
Processing 12/12: [unikraft: cp .]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "install" "cp" "-r" "." "/home/opam/.opam/4.12/lib/unikraft" (CWD=/home/opam/.opam/4.12/.opam-switch/build/unikraft.0.18.0)
-> installed unikraft.0.18.0
Done.
# To update the current shell environment, run: eval $(opam env)
2025-06-20 22:38.04 ---> saved as "3c61a3499da6da5129366610b3e04f8de981b30e44678ebad056cb9a082ef7e1"
Job succeeded