0s autopkgtest [15:25:25]: starting date and time: 2025-01-09 15:25:25+0000 0s autopkgtest [15:25:25]: git checkout: 325255d2 Merge branch 'pin-any-arch' into 'ubuntu/production' 0s autopkgtest [15:25:25]: host juju-7f2275-prod-proposed-migration-environment-15; command line: /home/ubuntu/autopkgtest/runner/autopkgtest --output-dir /tmp/autopkgtest-work.xnjafy71/out --timeout-copy=6000 --setup-commands /home/ubuntu/autopkgtest-cloud/worker-config-production/setup-canonical.sh --apt-pocket=proposed=src:ocaml-dune,src:ocplib-simplex --apt-upgrade ocaml-dscheck --timeout-short=300 --timeout-copy=20000 --timeout-build=20000 '--env=ADT_TEST_TRIGGERS=ocaml-dune/3.17.1-2 ocplib-simplex/0.5.1-4' -- ssh -s /home/ubuntu/autopkgtest/ssh-setup/nova -- --flavor autopkgtest-s390x --security-groups autopkgtest-juju-7f2275-prod-proposed-migration-environment-15@bos03-s390x-24.secgroup --name adt-plucky-s390x-ocaml-dscheck-20250109-152525-juju-7f2275-prod-proposed-migration-environment-15-3a884b3d-6455-4938-b384-a34270ad5fe3 --image adt/ubuntu-plucky-s390x-server --keyname testbed-juju-7f2275-prod-proposed-migration-environment-15 --net-id=net_prod-proposed-migration-s390x -e TERM=linux -e ''"'"'http_proxy=http://squid.internal:3128'"'"'' -e ''"'"'https_proxy=http://squid.internal:3128'"'"'' -e ''"'"'no_proxy=127.0.0.1,127.0.1.1,login.ubuntu.com,localhost,localdomain,novalocal,internal,archive.ubuntu.com,ports.ubuntu.com,security.ubuntu.com,ddebs.ubuntu.com,changelogs.ubuntu.com,keyserver.ubuntu.com,launchpadlibrarian.net,launchpadcontent.net,launchpad.net,10.24.0.0/24,keystone.ps5.canonical.com,objectstorage.prodstack5.canonical.com,radosgw.ps5.canonical.com'"'"'' --mirror=http://ftpmaster.internal/ubuntu/ 104s autopkgtest [15:27:09]: testbed dpkg architecture: s390x 104s autopkgtest [15:27:09]: testbed apt version: 2.9.18 104s autopkgtest [15:27:09]: @@@@@@@@@@@@@@@@@@@@ test bed setup 105s autopkgtest [15:27:10]: testbed release detected to be: None 105s autopkgtest [15:27:10]: updating testbed package index (apt update) 106s Get:1 http://ftpmaster.internal/ubuntu plucky-proposed InRelease [73.9 kB] 106s Hit:2 http://ftpmaster.internal/ubuntu plucky InRelease 106s Hit:3 http://ftpmaster.internal/ubuntu plucky-updates InRelease 106s Hit:4 http://ftpmaster.internal/ubuntu plucky-security InRelease 106s Get:5 http://ftpmaster.internal/ubuntu plucky-proposed/restricted Sources [9708 B] 106s Get:6 http://ftpmaster.internal/ubuntu plucky-proposed/multiverse Sources [15.6 kB] 106s Get:7 http://ftpmaster.internal/ubuntu plucky-proposed/main Sources [126 kB] 106s Get:8 http://ftpmaster.internal/ubuntu plucky-proposed/universe Sources [790 kB] 106s Get:9 http://ftpmaster.internal/ubuntu plucky-proposed/main s390x Packages [216 kB] 106s Get:10 http://ftpmaster.internal/ubuntu plucky-proposed/restricted s390x Packages [756 B] 106s Get:11 http://ftpmaster.internal/ubuntu plucky-proposed/universe s390x Packages [879 kB] 106s Get:12 http://ftpmaster.internal/ubuntu plucky-proposed/multiverse s390x Packages [5048 B] 106s Fetched 2117 kB in 1s (2200 kB/s) 107s Reading package lists... 108s Reading package lists... 108s Building dependency tree... 108s Reading state information... 108s Calculating upgrade... 108s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 108s Reading package lists... 108s Building dependency tree... 108s Reading state information... 108s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 108s autopkgtest [15:27:13]: upgrading testbed (apt dist-upgrade and autopurge) 108s Reading package lists... 109s Building dependency tree... 109s Reading state information... 109s Calculating upgrade...Starting pkgProblemResolver with broken count: 0 109s Starting 2 pkgProblemResolver with broken count: 0 109s Done 109s Entering ResolveByKeep 109s 109s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 109s Reading package lists... 109s Building dependency tree... 109s Reading state information... 110s Starting pkgProblemResolver with broken count: 0 110s Starting 2 pkgProblemResolver with broken count: 0 110s Done 110s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 112s autopkgtest [15:27:17]: testbed running kernel: Linux 6.11.0-8-generic #8-Ubuntu SMP Mon Sep 16 12:49:35 UTC 2024 112s autopkgtest [15:27:17]: @@@@@@@@@@@@@@@@@@@@ apt-source ocaml-dscheck 114s Get:1 http://ftpmaster.internal/ubuntu plucky/universe ocaml-dscheck 0.5.0-2 (dsc) [2214 B] 114s Get:2 http://ftpmaster.internal/ubuntu plucky/universe ocaml-dscheck 0.5.0-2 (tar) [27.0 kB] 114s Get:3 http://ftpmaster.internal/ubuntu plucky/universe ocaml-dscheck 0.5.0-2 (diff) [2760 B] 114s gpgv: Signature made Sat Oct 26 12:15:41 2024 UTC 114s gpgv: using RSA key 96A58F182BB8F9B81C5F2733854F07BE082DF14F 114s gpgv: Can't check signature: No public key 114s dpkg-source: warning: cannot verify inline signature for ./ocaml-dscheck_0.5.0-2.dsc: no acceptable signature found 114s autopkgtest [15:27:19]: testing package ocaml-dscheck version 0.5.0-2 114s autopkgtest [15:27:19]: build not needed 115s autopkgtest [15:27:20]: test upstream: preparing testbed 115s Reading package lists... 115s Building dependency tree... 115s Reading state information... 115s Starting pkgProblemResolver with broken count: 0 115s Starting 2 pkgProblemResolver with broken count: 0 115s Done 115s The following NEW packages will be installed: 115s cpp cpp-14 cpp-14-s390x-linux-gnu cpp-s390x-linux-gnu gcc gcc-14 115s gcc-14-s390x-linux-gnu gcc-s390x-linux-gnu libalcotest-ocaml-dev libasan8 115s libastring-ocaml libastring-ocaml-dev libcc1-0 libcmdliner-ocaml-dev 115s libcompiler-libs-ocaml-dev libcontainers-ocaml-dev libdscheck-ocaml-dev 115s libfmt-ocaml libfmt-ocaml-dev libgcc-14-dev libgomp1 libisl23 libitm1 115s libmpc3 libncurses-dev liboseq-ocaml-dev libre-ocaml-dev libstdlib-ocaml 115s libstdlib-ocaml-dev libubsan1 libuutf-ocaml libuutf-ocaml-dev libzstd-dev 115s ocaml ocaml-base ocaml-dune ocaml-interp 115s 0 upgraded, 37 newly installed, 0 to remove and 0 not upgraded. 116s Need to get 137 MB of archives. 116s After this operation, 394 MB of additional disk space will be used. 116s Get:1 http://ftpmaster.internal/ubuntu plucky/main s390x libisl23 s390x 0.27-1 [704 kB] 116s Get:2 http://ftpmaster.internal/ubuntu plucky/main s390x libmpc3 s390x 1.3.1-1build2 [57.8 kB] 116s Get:3 http://ftpmaster.internal/ubuntu plucky/main s390x cpp-14-s390x-linux-gnu s390x 14.2.0-12ubuntu1 [9571 kB] 116s Get:4 http://ftpmaster.internal/ubuntu plucky/main s390x cpp-14 s390x 14.2.0-12ubuntu1 [1030 B] 116s Get:5 http://ftpmaster.internal/ubuntu plucky/main s390x cpp-s390x-linux-gnu s390x 4:14.1.0-2ubuntu1 [5452 B] 116s Get:6 http://ftpmaster.internal/ubuntu plucky/main s390x cpp s390x 4:14.1.0-2ubuntu1 [22.4 kB] 116s Get:7 http://ftpmaster.internal/ubuntu plucky/main s390x libcc1-0 s390x 14.2.0-12ubuntu1 [50.6 kB] 116s Get:8 http://ftpmaster.internal/ubuntu plucky/main s390x libgomp1 s390x 14.2.0-12ubuntu1 [151 kB] 116s Get:9 http://ftpmaster.internal/ubuntu plucky/main s390x libitm1 s390x 14.2.0-12ubuntu1 [30.9 kB] 116s Get:10 http://ftpmaster.internal/ubuntu plucky/main s390x libasan8 s390x 14.2.0-12ubuntu1 [2964 kB] 116s Get:11 http://ftpmaster.internal/ubuntu plucky/main s390x libubsan1 s390x 14.2.0-12ubuntu1 [1184 kB] 116s Get:12 http://ftpmaster.internal/ubuntu plucky/main s390x libgcc-14-dev s390x 14.2.0-12ubuntu1 [1036 kB] 116s Get:13 http://ftpmaster.internal/ubuntu plucky/main s390x gcc-14-s390x-linux-gnu s390x 14.2.0-12ubuntu1 [18.7 MB] 117s Get:14 http://ftpmaster.internal/ubuntu plucky/main s390x gcc-14 s390x 14.2.0-12ubuntu1 [522 kB] 117s Get:15 http://ftpmaster.internal/ubuntu plucky/main s390x gcc-s390x-linux-gnu s390x 4:14.1.0-2ubuntu1 [1204 B] 117s Get:16 http://ftpmaster.internal/ubuntu plucky/main s390x gcc s390x 4:14.1.0-2ubuntu1 [4996 B] 117s Get:17 http://ftpmaster.internal/ubuntu plucky/universe s390x libstdlib-ocaml s390x 5.2.0-3 [426 kB] 117s Get:18 http://ftpmaster.internal/ubuntu plucky/universe s390x ocaml-base s390x 5.2.0-3 [300 kB] 117s Get:19 http://ftpmaster.internal/ubuntu plucky/universe s390x libastring-ocaml s390x 0.8.5-2build3 [199 kB] 117s Get:20 http://ftpmaster.internal/ubuntu plucky/universe s390x libstdlib-ocaml-dev s390x 5.2.0-3 [10.9 MB] 117s Get:21 http://ftpmaster.internal/ubuntu plucky/universe s390x libcompiler-libs-ocaml-dev s390x 5.2.0-3 [45.1 MB] 118s Get:22 http://ftpmaster.internal/ubuntu plucky/universe s390x ocaml-interp s390x 5.2.0-3 [8077 kB] 119s Get:23 http://ftpmaster.internal/ubuntu plucky/main s390x libncurses-dev s390x 6.5-2 [404 kB] 119s Get:24 http://ftpmaster.internal/ubuntu plucky/main s390x libzstd-dev s390x 1.5.6+dfsg-1 [408 kB] 119s Get:25 http://ftpmaster.internal/ubuntu plucky/universe s390x ocaml s390x 5.2.0-3 [20.0 MB] 119s Get:26 http://ftpmaster.internal/ubuntu plucky/universe s390x libastring-ocaml-dev s390x 0.8.5-2build3 [167 kB] 119s Get:27 http://ftpmaster.internal/ubuntu plucky/universe s390x libcmdliner-ocaml-dev s390x 1.3.0-2build1 [552 kB] 119s Get:28 http://ftpmaster.internal/ubuntu plucky/universe s390x libfmt-ocaml s390x 0.9.0-3build3 [138 kB] 119s Get:29 http://ftpmaster.internal/ubuntu plucky/universe s390x libfmt-ocaml-dev s390x 0.9.0-3build3 [130 kB] 119s Get:30 http://ftpmaster.internal/ubuntu plucky/universe s390x libre-ocaml-dev s390x 1.12.0+really1.11.0-1 [1314 kB] 119s Get:31 http://ftpmaster.internal/ubuntu plucky/universe s390x libuutf-ocaml s390x 1.0.3-1build4 [79.8 kB] 119s Get:32 http://ftpmaster.internal/ubuntu plucky/universe s390x libuutf-ocaml-dev s390x 1.0.3-1build4 [685 kB] 119s Get:33 http://ftpmaster.internal/ubuntu plucky/universe s390x libalcotest-ocaml-dev s390x 1.8.0-1build3 [1195 kB] 119s Get:34 http://ftpmaster.internal/ubuntu plucky/universe s390x libcontainers-ocaml-dev s390x 3.14+dfsg-2 [5944 kB] 120s Get:35 http://ftpmaster.internal/ubuntu plucky/universe s390x liboseq-ocaml-dev s390x 0.5.1-2 [438 kB] 120s Get:36 http://ftpmaster.internal/ubuntu plucky/universe s390x libdscheck-ocaml-dev s390x 0.5.0-2 [307 kB] 120s Get:37 http://ftpmaster.internal/ubuntu plucky-proposed/universe s390x ocaml-dune s390x 3.17.1-2 [5661 kB] 120s Fetched 137 MB in 4s (31.5 MB/s) 120s Selecting previously unselected package libisl23:s390x. 120s (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 ... 55616 files and directories currently installed.) 120s Preparing to unpack .../00-libisl23_0.27-1_s390x.deb ... 120s Unpacking libisl23:s390x (0.27-1) ... 120s Selecting previously unselected package libmpc3:s390x. 120s Preparing to unpack .../01-libmpc3_1.3.1-1build2_s390x.deb ... 120s Unpacking libmpc3:s390x (1.3.1-1build2) ... 120s Selecting previously unselected package cpp-14-s390x-linux-gnu. 120s Preparing to unpack .../02-cpp-14-s390x-linux-gnu_14.2.0-12ubuntu1_s390x.deb ... 120s Unpacking cpp-14-s390x-linux-gnu (14.2.0-12ubuntu1) ... 120s Selecting previously unselected package cpp-14. 120s Preparing to unpack .../03-cpp-14_14.2.0-12ubuntu1_s390x.deb ... 120s Unpacking cpp-14 (14.2.0-12ubuntu1) ... 120s Selecting previously unselected package cpp-s390x-linux-gnu. 120s Preparing to unpack .../04-cpp-s390x-linux-gnu_4%3a14.1.0-2ubuntu1_s390x.deb ... 120s Unpacking cpp-s390x-linux-gnu (4:14.1.0-2ubuntu1) ... 120s Selecting previously unselected package cpp. 120s Preparing to unpack .../05-cpp_4%3a14.1.0-2ubuntu1_s390x.deb ... 120s Unpacking cpp (4:14.1.0-2ubuntu1) ... 120s Selecting previously unselected package libcc1-0:s390x. 120s Preparing to unpack .../06-libcc1-0_14.2.0-12ubuntu1_s390x.deb ... 120s Unpacking libcc1-0:s390x (14.2.0-12ubuntu1) ... 120s Selecting previously unselected package libgomp1:s390x. 120s Preparing to unpack .../07-libgomp1_14.2.0-12ubuntu1_s390x.deb ... 120s Unpacking libgomp1:s390x (14.2.0-12ubuntu1) ... 120s Selecting previously unselected package libitm1:s390x. 120s Preparing to unpack .../08-libitm1_14.2.0-12ubuntu1_s390x.deb ... 120s Unpacking libitm1:s390x (14.2.0-12ubuntu1) ... 120s Selecting previously unselected package libasan8:s390x. 120s Preparing to unpack .../09-libasan8_14.2.0-12ubuntu1_s390x.deb ... 120s Unpacking libasan8:s390x (14.2.0-12ubuntu1) ... 120s Selecting previously unselected package libubsan1:s390x. 120s Preparing to unpack .../10-libubsan1_14.2.0-12ubuntu1_s390x.deb ... 120s Unpacking libubsan1:s390x (14.2.0-12ubuntu1) ... 120s Selecting previously unselected package libgcc-14-dev:s390x. 120s Preparing to unpack .../11-libgcc-14-dev_14.2.0-12ubuntu1_s390x.deb ... 120s Unpacking libgcc-14-dev:s390x (14.2.0-12ubuntu1) ... 121s Selecting previously unselected package gcc-14-s390x-linux-gnu. 121s Preparing to unpack .../12-gcc-14-s390x-linux-gnu_14.2.0-12ubuntu1_s390x.deb ... 121s Unpacking gcc-14-s390x-linux-gnu (14.2.0-12ubuntu1) ... 121s Selecting previously unselected package gcc-14. 121s Preparing to unpack .../13-gcc-14_14.2.0-12ubuntu1_s390x.deb ... 121s Unpacking gcc-14 (14.2.0-12ubuntu1) ... 121s Selecting previously unselected package gcc-s390x-linux-gnu. 121s Preparing to unpack .../14-gcc-s390x-linux-gnu_4%3a14.1.0-2ubuntu1_s390x.deb ... 121s Unpacking gcc-s390x-linux-gnu (4:14.1.0-2ubuntu1) ... 121s Selecting previously unselected package gcc. 121s Preparing to unpack .../15-gcc_4%3a14.1.0-2ubuntu1_s390x.deb ... 121s Unpacking gcc (4:14.1.0-2ubuntu1) ... 121s Selecting previously unselected package libstdlib-ocaml. 121s Preparing to unpack .../16-libstdlib-ocaml_5.2.0-3_s390x.deb ... 121s Unpacking libstdlib-ocaml (5.2.0-3) ... 121s Selecting previously unselected package ocaml-base. 121s Preparing to unpack .../17-ocaml-base_5.2.0-3_s390x.deb ... 121s Unpacking ocaml-base (5.2.0-3) ... 121s Selecting previously unselected package libastring-ocaml. 121s Preparing to unpack .../18-libastring-ocaml_0.8.5-2build3_s390x.deb ... 121s Unpacking libastring-ocaml (0.8.5-2build3) ... 121s Selecting previously unselected package libstdlib-ocaml-dev. 121s Preparing to unpack .../19-libstdlib-ocaml-dev_5.2.0-3_s390x.deb ... 121s Unpacking libstdlib-ocaml-dev (5.2.0-3) ... 121s Selecting previously unselected package libcompiler-libs-ocaml-dev. 121s Preparing to unpack .../20-libcompiler-libs-ocaml-dev_5.2.0-3_s390x.deb ... 121s Unpacking libcompiler-libs-ocaml-dev (5.2.0-3) ... 121s Selecting previously unselected package ocaml-interp. 121s Preparing to unpack .../21-ocaml-interp_5.2.0-3_s390x.deb ... 121s Unpacking ocaml-interp (5.2.0-3) ... 121s Selecting previously unselected package libncurses-dev:s390x. 121s Preparing to unpack .../22-libncurses-dev_6.5-2_s390x.deb ... 121s Unpacking libncurses-dev:s390x (6.5-2) ... 121s Selecting previously unselected package libzstd-dev:s390x. 121s Preparing to unpack .../23-libzstd-dev_1.5.6+dfsg-1_s390x.deb ... 121s Unpacking libzstd-dev:s390x (1.5.6+dfsg-1) ... 121s Selecting previously unselected package ocaml. 121s Preparing to unpack .../24-ocaml_5.2.0-3_s390x.deb ... 121s Unpacking ocaml (5.2.0-3) ... 122s Selecting previously unselected package libastring-ocaml-dev. 122s Preparing to unpack .../25-libastring-ocaml-dev_0.8.5-2build3_s390x.deb ... 122s Unpacking libastring-ocaml-dev (0.8.5-2build3) ... 122s Selecting previously unselected package libcmdliner-ocaml-dev. 122s Preparing to unpack .../26-libcmdliner-ocaml-dev_1.3.0-2build1_s390x.deb ... 122s Unpacking libcmdliner-ocaml-dev (1.3.0-2build1) ... 122s Selecting previously unselected package libfmt-ocaml. 122s Preparing to unpack .../27-libfmt-ocaml_0.9.0-3build3_s390x.deb ... 122s Unpacking libfmt-ocaml (0.9.0-3build3) ... 122s Selecting previously unselected package libfmt-ocaml-dev. 122s Preparing to unpack .../28-libfmt-ocaml-dev_0.9.0-3build3_s390x.deb ... 122s Unpacking libfmt-ocaml-dev (0.9.0-3build3) ... 122s Selecting previously unselected package libre-ocaml-dev. 122s Preparing to unpack .../29-libre-ocaml-dev_1.12.0+really1.11.0-1_s390x.deb ... 122s Unpacking libre-ocaml-dev (1.12.0+really1.11.0-1) ... 122s Selecting previously unselected package libuutf-ocaml. 122s Preparing to unpack .../30-libuutf-ocaml_1.0.3-1build4_s390x.deb ... 122s Unpacking libuutf-ocaml (1.0.3-1build4) ... 122s Selecting previously unselected package libuutf-ocaml-dev. 122s Preparing to unpack .../31-libuutf-ocaml-dev_1.0.3-1build4_s390x.deb ... 122s Unpacking libuutf-ocaml-dev (1.0.3-1build4) ... 122s Selecting previously unselected package libalcotest-ocaml-dev. 122s Preparing to unpack .../32-libalcotest-ocaml-dev_1.8.0-1build3_s390x.deb ... 122s Unpacking libalcotest-ocaml-dev (1.8.0-1build3) ... 122s Selecting previously unselected package libcontainers-ocaml-dev. 122s Preparing to unpack .../33-libcontainers-ocaml-dev_3.14+dfsg-2_s390x.deb ... 122s Unpacking libcontainers-ocaml-dev (3.14+dfsg-2) ... 122s Selecting previously unselected package liboseq-ocaml-dev. 122s Preparing to unpack .../34-liboseq-ocaml-dev_0.5.1-2_s390x.deb ... 122s Unpacking liboseq-ocaml-dev (0.5.1-2) ... 122s Selecting previously unselected package libdscheck-ocaml-dev. 122s Preparing to unpack .../35-libdscheck-ocaml-dev_0.5.0-2_s390x.deb ... 122s Unpacking libdscheck-ocaml-dev (0.5.0-2) ... 122s Selecting previously unselected package ocaml-dune. 122s Preparing to unpack .../36-ocaml-dune_3.17.1-2_s390x.deb ... 122s Unpacking ocaml-dune (3.17.1-2) ... 122s Setting up libncurses-dev:s390x (6.5-2) ... 122s Setting up libzstd-dev:s390x (1.5.6+dfsg-1) ... 122s Setting up libgomp1:s390x (14.2.0-12ubuntu1) ... 122s Setting up ocaml-dune (3.17.1-2) ... 122s Setting up libstdlib-ocaml (5.2.0-3) ... 122s Setting up libmpc3:s390x (1.3.1-1build2) ... 122s Setting up ocaml-base (5.2.0-3) ... 122s Setting up libubsan1:s390x (14.2.0-12ubuntu1) ... 122s Setting up libasan8:s390x (14.2.0-12ubuntu1) ... 122s Setting up libfmt-ocaml (0.9.0-3build3) ... 122s Setting up libisl23:s390x (0.27-1) ... 122s Setting up libcc1-0:s390x (14.2.0-12ubuntu1) ... 122s Setting up libitm1:s390x (14.2.0-12ubuntu1) ... 122s Setting up libastring-ocaml (0.8.5-2build3) ... 122s Setting up libstdlib-ocaml-dev (5.2.0-3) ... 122s Setting up libuutf-ocaml (1.0.3-1build4) ... 122s Setting up libcompiler-libs-ocaml-dev (5.2.0-3) ... 122s Setting up ocaml-interp (5.2.0-3) ... 122s Setting up cpp-14-s390x-linux-gnu (14.2.0-12ubuntu1) ... 122s Setting up cpp-14 (14.2.0-12ubuntu1) ... 122s Setting up libgcc-14-dev:s390x (14.2.0-12ubuntu1) ... 122s Setting up cpp-s390x-linux-gnu (4:14.1.0-2ubuntu1) ... 122s Setting up gcc-14-s390x-linux-gnu (14.2.0-12ubuntu1) ... 122s Setting up gcc-s390x-linux-gnu (4:14.1.0-2ubuntu1) ... 122s Setting up cpp (4:14.1.0-2ubuntu1) ... 122s Setting up gcc-14 (14.2.0-12ubuntu1) ... 122s Setting up gcc (4:14.1.0-2ubuntu1) ... 122s Setting up ocaml (5.2.0-3) ... 122s Setting up libre-ocaml-dev (1.12.0+really1.11.0-1) ... 122s Setting up libcontainers-ocaml-dev (3.14+dfsg-2) ... 122s Setting up libcmdliner-ocaml-dev (1.3.0-2build1) ... 122s Setting up libastring-ocaml-dev (0.8.5-2build3) ... 122s Setting up liboseq-ocaml-dev (0.5.1-2) ... 122s Setting up libuutf-ocaml-dev (1.0.3-1build4) ... 122s Setting up libdscheck-ocaml-dev (0.5.0-2) ... 122s Setting up libfmt-ocaml-dev (0.9.0-3build3) ... 122s Setting up libalcotest-ocaml-dev (1.8.0-1build3) ... 122s Processing triggers for man-db (2.13.0-1) ... 123s Processing triggers for libc-bin (2.40-4ubuntu1) ... 124s autopkgtest [15:27:29]: test upstream: [----------------------- 125s (cd _build/default/tests && ./test_conditional_nested.exe) 125s 125s explored 8 interleavings and 35 states 125s (cd _build/default/tests && ./test_trace.exe) 125s 125s sequence 1 125s ---------------------------------------- 125s P0 P1 125s ---------------------------------------- 125s start 125s fetch_and_add a 125s start 125s fetch_and_add a 125s fetch_and_add b 125s ---------------------------------------- 125s 125s sequence 2 125s ---------------------------------------- 125s P0 P1 125s ---------------------------------------- 125s start 125s start 125s fetch_and_add a 125s fetch_and_add a 125s fetch_and_add b 125s ---------------------------------------- 125s 125s explored 2 interleavings and 9 states 125s ---- 125s (1,a,w),(0,a,w),(1,b,w) 125s (0,a,w),(1,a,w),(1,b,w) 125s ---- 125s (cd _build/default/tests && ./test_conditional_ssb.exe) 125s 125s explored 7 interleavings and 65 states 125s (cd _build/default/tests && ./test_list.exe) 125s Testing `dscheck'. 125s This run has ID `KR21OAI1'. 125s 125s [OK] list 0 naive-1-domain. 125s [OK] list 1 naive-2-domains. 125s [OK] list 2 naive-8-domains. 125s [OK] list 3 safe. 125s 125s Full test results in `/tmp/autopkgtest.eoz4nY/build.w2o/src/_build/default/tests/_build/_tests/dscheck'. 125s Test Successful in 0.045s. 4 tests run. 125s (cd _build/default/tests && ./test_naive_counter.exe) 125s Testing `dscheck'. 125s This run has ID `B4A6FYIE'. 125s 125s [OK] counter 0 naive. 125s [OK] counter 1 safe. 125s 125s Full test results in `/tmp/autopkgtest.eoz4nY/build.w2o/src/_build/default/tests/_build/_tests/dscheck'. 125s Test Successful in 0.000s. 2 tests run. 125s (cd _build/default/tests && ./test_hb.exe) 125s 125s explored 5 interleavings and 21 states 125s traces: 5 125s (cd _build/default/tests && ./test_michael_scott_queue.exe) 125s Testing `michael_scott_queue_dscheck'. 125s This run has ID `I90Q8CBL'. 125s 125s [OK] basic 0 1-producer-1-consumer. 125s 125s Full test results in `/tmp/autopkgtest.eoz4nY/build.w2o/src/_build/default/tests/_build/_tests/michael_scott_queue_dscheck'. 125s Test Successful in 0.002s. 1 test run. 125s autopkgtest [15:27:30]: test upstream: -----------------------] 126s autopkgtest [15:27:31]: test upstream: - - - - - - - - - - results - - - - - - - - - - 126s upstream PASS 126s autopkgtest [15:27:31]: @@@@@@@@@@@@@@@@@@@@ summary 126s upstream PASS 145s nova [W] Using flock in prodstack6-s390x 145s Creating nova instance adt-plucky-s390x-ocaml-dscheck-20250109-152525-juju-7f2275-prod-proposed-migration-environment-15-3a884b3d-6455-4938-b384-a34270ad5fe3 from image adt/ubuntu-plucky-s390x-server-20250109.img (UUID b7153508-076e-4829-bc45-d48f5a74e566)... 145s nova [W] Timed out waiting for b1a9786a-7200-42fc-bf6c-8d79de61cf08 to get deleted.