Building on mint
Running Day10 job:
Sub-command: health-check
Commit SHA: 5bf570252bd9fee71938b828ca0b86573c1e3355
Package: unikraft.0.18.0
OCaml version: ocaml.5.3.0
With test: false
Worktree already exists: /var/lib/day10/worktree-5bf570252bd9fee71938b828ca0b86573c1e3355
Executing: day10 health-check --cache-dir /var/lib/day10/cache --opam-repository /var/lib/day10/worktree-5bf570252bd9fee71938b828ca0b86573c1e3355 --ocaml-version ocaml.5.3.0 --log unikraft.0.18.0
digraph opam {
"unikraft.0.18.0" -> {"conf-bison.2" "conf-flex.2" "conf-python-3.9.0.0"}
}
Layer conf-bison.2: /var/lib/day10/cache/debian-13-x86_64/990a006c9868f66276872a2c71862bc4
Processing: [default: loading data]
The following system packages will first need to be installed:
bison
<><> Handling external dependencies <><><><><><><><><><><><><><><><><><><><><><>
+ /usr/bin/sudo "apt-get" "install" "-qq" "-yy" "bison"
- debconf: unable to initialize frontend: Dialog
- debconf: (Dialog frontend will not work on a dumb terminal, an emacs shell buffer, or without a controlling terminal.)
- debconf: falling back to frontend: Readline
- debconf: unable to initialize frontend: Readline
- debconf: (This frontend requires a controlling tty.)
- debconf: falling back to frontend: Teletype
- debconf: unable to initialize frontend: Teletype
- debconf: (This frontend requires a controlling tty.)
- debconf: falling back to frontend: Noninteractive
- 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 ... 20107 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 bison.
- Preparing to unpack .../bison_2%3a3.8.2+dfsg-1+b2_amd64.deb ...
- Unpacking bison (2:3.8.2+dfsg-1+b2) ...
- Setting up m4 (1.4.19-8) ...
- 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
[conf-bison: bison]
+ /usr/bin/bison "--version" (CWD=/home/opam/.opam/default/.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
-> installed conf-bison.2
Layer conf-flex.2: /var/lib/day10/cache/debian-13-x86_64/cbd86fd220d2c43b3683a0fd10f8ce12
Processing: [default: loading data]
The following system packages will first need to be installed:
flex
<><> Handling external dependencies <><><><><><><><><><><><><><><><><><><><><><>
+ /usr/bin/sudo "apt-get" "install" "-qq" "-yy" "flex"
- debconf: unable to initialize frontend: Dialog
- debconf: (Dialog frontend will not work on a dumb terminal, an emacs shell buffer, or without a controlling terminal.)
- debconf: falling back to frontend: Readline
- debconf: unable to initialize frontend: Readline
- debconf: (This frontend requires a controlling tty.)
- debconf: falling back to frontend: Teletype
- debconf: unable to initialize frontend: Teletype
- debconf: (This frontend requires a controlling tty.)
- debconf: falling back to frontend: Noninteractive
- 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 ... 20107 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 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 m4 (1.4.19-8) ...
- Setting up libfl2:amd64 (2.6.4-8.2+b4) ...
- Setting up flex (2.6.4-8.2+b4) ...
- Setting up libfl-dev:amd64 (2.6.4-8.2+b4) ...
- Processing triggers for libc-bin (2.41-12) ...
[conf-flex: flex]
+ /usr/bin/flex "--version" (CWD=/home/opam/.opam/default/.opam-switch/build/conf-flex.2)
- flex 2.6.4
-> compiled conf-flex.2
-> installed conf-flex.2
Layer conf-python-3.9.0.0: /var/lib/day10/cache/debian-13-x86_64/5ba85ab84273a306419a58f1a601a783
Processing: [default: loading data]
The following system packages will first need to be installed:
python3
<><> Handling external dependencies <><><><><><><><><><><><><><><><><><><><><><>
+ /usr/bin/sudo "apt-get" "install" "-qq" "-yy" "python3"
- debconf: unable to initialize frontend: Dialog
- debconf: (Dialog frontend will not work on a dumb terminal, an emacs shell buffer, or without a controlling terminal.)
- debconf: falling back to frontend: Readline
- debconf: unable to initialize frontend: Readline
- debconf: (This frontend requires a controlling tty.)
- debconf: falling back to frontend: Teletype
- debconf: unable to initialize frontend: Teletype
- debconf: (This frontend requires a controlling tty.)
- debconf: falling back to frontend: Noninteractive
- Selecting previously unselected package libpython3.13-minimal:amd64.
- (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 ... 20107 files and directories currently installed.)
- Preparing to unpack .../libpython3.13-minimal_3.13.5-2_amd64.deb ...
- Unpacking libpython3.13-minimal:amd64 (3.13.5-2) ...
- Selecting previously unselected package python3.13-minimal.
- Preparing to unpack .../python3.13-minimal_3.13.5-2_amd64.deb ...
- Unpacking python3.13-minimal (3.13.5-2) ...
- Setting up libpython3.13-minimal:amd64 (3.13.5-2) ...
- Setting up python3.13-minimal (3.13.5-2) ...
- 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 ... 20432 files and directories currently installed.)
- Preparing to unpack .../0-python3-minimal_3.13.5-1_amd64.deb ...
- Unpacking python3-minimal (3.13.5-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-2_amd64.deb ...
- Unpacking libpython3.13-stdlib:amd64 (3.13.5-2) ...
- Selecting previously unselected package python3.13.
- Preparing to unpack .../5-python3.13_3.13.5-2_amd64.deb ...
- Unpacking python3.13 (3.13.5-2) ...
- Selecting previously unselected package libpython3-stdlib:amd64.
- Preparing to unpack .../6-libpython3-stdlib_3.13.5-1_amd64.deb ...
- Unpacking libpython3-stdlib:amd64 (3.13.5-1) ...
- Setting up python3-minimal (3.13.5-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 ... 20918 files and directories currently installed.)
- Preparing to unpack .../python3_3.13.5-1_amd64.deb ...
- Unpacking python3 (3.13.5-1) ...
- Setting up media-types (13.0.0) ...
- Setting up readline-common (8.2-6) ...
- Setting up libreadline8t64:amd64 (8.2-6) ...
- Setting up libpython3.13-stdlib:amd64 (3.13.5-2) ...
- Setting up libpython3-stdlib:amd64 (3.13.5-1) ...
- Setting up python3.13 (3.13.5-2) ...
- Setting up python3 (3.13.5-1) ...
- running python rtupdate hooks for python3.13...
- running python post-rtupdate hooks for python3.13...
- Processing triggers for libc-bin (2.41-12) ...
[conf-python-3.9.0.0/test.py: dl]
-> retrieved conf-python-3.9.0.0 (https://raw.githubusercontent.com/ocaml/opam-source-archives/main/patches/conf-python-3/test.py)
[conf-python-3: python3 test.py]
+ /usr/bin/python3 "test.py" (CWD=/home/opam/.opam/default/.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
Layer unikraft.0.18.0: /var/lib/day10/cache/debian-13-x86_64/c80e2480b9e2b7d1e9737ad81d3e57ee
Processing: [default: loading data]
[unikraft.0.18.0: http]
[unikraft.0.18.0: extract]
-> retrieved unikraft.0.18.0 (https://github.com/mirage/unikraft/archive/refs/tags/v0.18.0.tar.gz)
[unikraft: rm .github]
+ /usr/bin/rm "-rf" ".github" ".gitignore" (CWD=/home/opam/.opam/default/.opam-switch/build/unikraft.0.18.0)
[unikraft: cp .]
+ /usr/bin/cp "-r" "." "/home/opam/.opam/default/lib/unikraft" (CWD=/home/opam/.opam/default/.opam-switch/build/unikraft.0.18.0)
-> installed unikraft.0.18.0
[WARNING] Opam packages conf-bison.2 and conf-flex.2 depend on the following system packages that are no longer installed: bison flex
- conf-bison.2: depends on bison
- conf-flex.2: depends on flex
[NOTE] success
Job succeeded
Home|Differences with the last checks|Previous runs