Warning: Permanently added '44.201.148.208' (ED25519) to the list of known hosts. You can reproduce this build on your computer by running: sudo dnf install copr-rpmbuild /usr/bin/copr-rpmbuild --verbose --drop-resultdir --srpm --task-url https://copr.fedorainfracloud.org/backend/get-srpm-build-task/8412154 Version: 1.2 PID: 27559 Logging PID: 27560 Task: {'appstream': False, 'background': True, 'build_id': 8412154, 'chroot': None, 'package_name': None, 'project_dirname': 'gcc-15-smoketest-3', 'project_name': 'gcc-15-smoketest-3', 'project_owner': 'dmalcolm', 'repos': [], 'sandbox': 'dmalcolm/gcc-15-smoketest-3--dmalcolm', 'source_json': {'clone_url': 'https://src.fedoraproject.org/rpms/cbmc.git', 'committish': 'f6c3a091b9503c618f8e6f25fcd363a79aa0d986'}, 'source_type': 10, 'submitter': 'dmalcolm', 'task_id': '8412154'} Running: git clone https://src.fedoraproject.org/rpms/cbmc.git /var/lib/copr-rpmbuild/workspace/workdir-zi2z1_l4/cbmc --depth 500 --no-single-branch --recursive cmd: ['git', 'clone', 'https://src.fedoraproject.org/rpms/cbmc.git', '/var/lib/copr-rpmbuild/workspace/workdir-zi2z1_l4/cbmc', '--depth', '500', '--no-single-branch', '--recursive'] cwd: . rc: 0 stdout: stderr: Cloning into '/var/lib/copr-rpmbuild/workspace/workdir-zi2z1_l4/cbmc'... Running: git checkout f6c3a091b9503c618f8e6f25fcd363a79aa0d986 -- cmd: ['git', 'checkout', 'f6c3a091b9503c618f8e6f25fcd363a79aa0d986', '--'] cwd: /var/lib/copr-rpmbuild/workspace/workdir-zi2z1_l4/cbmc rc: 0 stdout: stderr: Note: switching to 'f6c3a091b9503c618f8e6f25fcd363a79aa0d986'. You are in 'detached HEAD' state. You can look around, make experimental changes and commit them, and you can discard any commits you make in this state without impacting any branches by switching back to a branch. If you want to create a new branch to retain commits you create, you may do so (now or later) by using -c with the switch command. Example: git switch -c Or undo this operation with: git switch - Turn off this advice by setting config variable advice.detachedHead to false HEAD is now at f6c3a09 rebase to latest upstream version Running: dist-git-client sources cmd: ['dist-git-client', 'sources'] cwd: /var/lib/copr-rpmbuild/workspace/workdir-zi2z1_l4/cbmc rc: 0 stdout: stderr: INFO: Reading stdout from command: git rev-parse --abbrev-ref HEAD INFO: Reading stdout from command: git rev-parse HEAD INFO: Reading sources specification file: sources INFO: Downloading cbmc-6.4.1.tar.gz INFO: Reading stdout from command: curl --help all INFO: Calling: curl -H Pragma: -o cbmc-6.4.1.tar.gz --location --connect-timeout 60 --retry 3 --retry-delay 10 --remote-time --show-error --fail --retry-all-errors https://src.fedoraproject.org/repo/pkgs/rpms/cbmc/cbmc-6.4.1.tar.gz/sha512/74bfdae9c203e81f34584fbb5f4f3d8b3b25bb3b6ae1d9254ac6c0ccd28090d3a6a0b1d66899d71f3f3dac4fcebca1f046633d88d5b0ab09e53390402d7ed329/cbmc-6.4.1.tar.gz % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 100 8914k 100 8914k 0 0 85.5M 0 --:--:-- --:--:-- --:--:-- 86.1M INFO: Reading stdout from command: sha512sum cbmc-6.4.1.tar.gz INFO: Downloading cbmc-utils-1.3.tar.gz INFO: Calling: curl -H Pragma: -o cbmc-utils-1.3.tar.gz --location --connect-timeout 60 --retry 3 --retry-delay 10 --remote-time --show-error --fail --retry-all-errors https://src.fedoraproject.org/repo/pkgs/rpms/cbmc/cbmc-utils-1.3.tar.gz/sha512/3f3eaa9f2b2e75b1088998911f282eb2589fa4b724dbca2dd155d9c60dde302e732e6405897aee349490ba54d336f03c094fe57f92fb42fd317c6c1d4b951488/cbmc-utils-1.3.tar.gz % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 100 535k 100 535k 0 0 16.2M 0 --:--:-- --:--:-- --:--:-- 16.3M INFO: Reading stdout from command: sha512sum cbmc-utils-1.3.tar.gz Running: dist-git-client srpm --outputdir /var/lib/copr-rpmbuild/results cmd: ['dist-git-client', 'srpm', '--outputdir', '/var/lib/copr-rpmbuild/results'] cwd: /var/lib/copr-rpmbuild/workspace/workdir-zi2z1_l4/cbmc rc: 0 stdout: setting SOURCE_DATE_EPOCH=1732838400 Wrote: /var/lib/copr-rpmbuild/results/cbmc-6.4.1-1.src.rpm stderr: INFO: Checked call: rpmbuild -bs /var/lib/copr-rpmbuild/workspace/workdir-zi2z1_l4/cbmc/./cbmc.spec --define 'dist %nil' --define '_sourcedir /var/lib/copr-rpmbuild/workspace/workdir-zi2z1_l4/cbmc/.' --define '_srcrpmdir /var/lib/copr-rpmbuild/results' --define '_disable_source_fetch 1' Output: ['cbmc-6.4.1-1.src.rpm'] Running SRPMResults tool Package info: { "name": "cbmc", "epoch": null, "version": "6.4.1", "release": "1", "exclusivearch": [], "excludearch": [] } SRPMResults finished