[2026-10-16 12:15:56,392][ INFO][PID:1335275] Marking build as starting [2026-10-16 12:15:56,433][ INFO][PID:1335275] Checking that /var/lib/copr/public_html/results/petersen/lean4/fedora-rawhide-x86_64/repodata/repomd.xml exists [2026-10-16 12:15:56,435][ INFO][PID:1335275] Checking for cancel request [2026-10-16 12:15:56,472][ INFO][PID:1335275] rpmeta: predicted 64 min for lean4 on fedora-rawhide-x86_64 -> normal builder sufficient [2026-10-16 12:15:56,478][ INFO][PID:1335275] VM allocation process starts [2026-10-16 12:15:56,496][ INFO][PID:1335275] Trying to allocate VM: ResallocHost, ticket_id=5704989, requested_tags=['arch_x86_64', 'copr_builder'] [2026-10-16 12:16:01,500][ INFO][PID:1335275] Checking for cancel request [2026-10-16 12:16:06,501][ INFO][PID:1335275] Checking for cancel request [2026-10-16 12:16:11,501][ INFO][PID:1335275] Checking for cancel request [2026-10-16 12:16:16,502][ INFO][PID:1335275] Checking for cancel request [2026-10-16 12:16:21,503][ INFO][PID:1335275] Checking for cancel request [2026-10-16 12:16:26,504][ INFO][PID:1335275] Checking for cancel request [2026-10-16 12:16:31,505][ INFO][PID:1335275] Checking for cancel request [2026-10-16 12:16:36,506][ INFO][PID:1335275] Checking for cancel request [2026-10-16 12:16:41,506][ INFO][PID:1335275] Checking for cancel request [2026-10-16 12:16:46,507][ INFO][PID:1335275] Checking for cancel request [2026-10-16 12:16:51,508][ INFO][PID:1335275] Checking for cancel request [2026-10-16 12:16:56,509][ INFO][PID:1335275] Checking for cancel request [2026-10-16 12:17:01,510][ INFO][PID:1335275] Checking for cancel request [2026-10-16 12:17:06,511][ INFO][PID:1335275] Checking for cancel request [2026-10-16 12:17:11,511][ INFO][PID:1335275] Checking for cancel request [2026-10-16 12:17:16,512][ INFO][PID:1335275] Checking for cancel request [2026-10-16 12:17:21,513][ INFO][PID:1335275] Checking for cancel request [2026-10-16 12:17:26,514][ INFO][PID:1335275] Checking for cancel request [2026-10-16 12:17:31,516][ INFO][PID:1335275] Checking for cancel request [2026-10-16 12:17:36,517][ INFO][PID:1335275] Checking for cancel request [2026-10-16 12:17:41,518][ INFO][PID:1335275] Checking for cancel request [2026-10-16 12:17:46,518][ INFO][PID:1335275] Checking for cancel request [2026-10-16 12:17:51,519][ INFO][PID:1335275] Checking for cancel request [2026-10-16 12:17:56,520][ INFO][PID:1335275] Checking for cancel request [2026-10-16 12:18:01,521][ INFO][PID:1335275] Checking for cancel request [2026-10-16 12:18:06,522][ INFO][PID:1335275] Checking for cancel request [2026-10-16 12:18:11,523][ INFO][PID:1335275] Checking for cancel request [2026-10-16 12:18:16,524][ INFO][PID:1335275] Checking for cancel request [2026-10-16 12:18:21,525][ INFO][PID:1335275] Checking for cancel request [2026-10-16 12:18:26,525][ INFO][PID:1335275] Checking for cancel request [2026-10-16 12:18:31,526][ INFO][PID:1335275] Checking for cancel request [2026-10-16 12:18:36,527][ INFO][PID:1335275] Checking for cancel request [2026-10-16 12:18:41,528][ INFO][PID:1335275] Checking for cancel request [2026-10-16 12:18:46,529][ INFO][PID:1335275] Checking for cancel request [2026-10-16 12:18:51,530][ INFO][PID:1335275] Checking for cancel request [2026-10-16 12:18:56,532][ INFO][PID:1335275] Checking for cancel request [2026-10-16 12:19:01,533][ INFO][PID:1335275] Checking for cancel request [2026-10-16 12:19:06,534][ INFO][PID:1335275] Checking for cancel request [2026-10-16 12:19:11,535][ INFO][PID:1335275] Checking for cancel request [2026-10-16 12:19:16,535][ INFO][PID:1335275] Checking for cancel request [2026-10-16 12:19:21,536][ INFO][PID:1335275] Checking for cancel request [2026-10-16 12:19:26,537][ INFO][PID:1335275] Checking for cancel request [2026-10-16 12:19:31,538][ INFO][PID:1335275] Checking for cancel request [2026-10-16 12:19:36,538][ INFO][PID:1335275] Checking for cancel request [2026-10-16 12:19:41,539][ INFO][PID:1335275] Checking for cancel request [2026-10-16 12:19:46,540][ INFO][PID:1335275] Checking for cancel request [2026-10-16 12:19:51,541][ INFO][PID:1335275] Checking for cancel request [2026-10-16 12:19:56,541][ INFO][PID:1335275] Checking for cancel request [2026-10-16 12:20:01,542][ INFO][PID:1335275] Checking for cancel request [2026-10-16 12:20:06,543][ INFO][PID:1335275] Checking for cancel request [2026-10-16 12:20:11,544][ INFO][PID:1335275] Checking for cancel request [2026-10-16 12:20:16,545][ INFO][PID:1335275] Checking for cancel request [2026-10-16 12:20:21,545][ INFO][PID:1335275] Checking for cancel request [2026-10-16 12:20:26,546][ INFO][PID:1335275] Checking for cancel request [2026-10-16 12:20:31,547][ INFO][PID:1335275] Checking for cancel request [2026-10-16 12:20:36,548][ INFO][PID:1335275] Checking for cancel request [2026-10-16 12:20:41,554][ INFO][PID:1335275] Checking for cancel request [2026-10-16 12:20:46,555][ INFO][PID:1335275] Checking for cancel request [2026-10-16 12:20:51,558][ INFO][PID:1335275] Checking for cancel request [2026-10-16 12:20:56,561][ INFO][PID:1335275] Checking for cancel request [2026-10-16 12:21:01,562][ INFO][PID:1335275] Checking for cancel request [2026-10-16 12:21:06,563][ INFO][PID:1335275] Checking for cancel request [2026-10-16 12:21:11,563][ INFO][PID:1335275] Checking for cancel request [2026-10-16 12:21:16,564][ INFO][PID:1335275] Checking for cancel request [2026-10-16 12:21:21,565][ INFO][PID:1335275] Checking for cancel request [2026-10-16 12:21:26,566][ INFO][PID:1335275] Checking for cancel request [2026-10-16 12:21:31,567][ INFO][PID:1335275] Checking for cancel request [2026-10-16 12:21:36,568][ INFO][PID:1335275] Checking for cancel request [2026-10-16 12:21:41,568][ INFO][PID:1335275] Checking for cancel request [2026-10-16 12:21:46,569][ INFO][PID:1335275] Checking for cancel request [2026-10-16 12:21:51,570][ INFO][PID:1335275] Checking for cancel request [2026-10-16 12:21:56,571][ INFO][PID:1335275] Checking for cancel request [2026-10-16 12:22:01,572][ INFO][PID:1335275] Checking for cancel request [2026-10-16 12:22:06,573][ INFO][PID:1335275] Checking for cancel request [2026-10-16 12:22:11,573][ INFO][PID:1335275] Checking for cancel request [2026-10-16 12:22:16,574][ INFO][PID:1335275] Checking for cancel request [2026-10-16 12:22:21,575][ INFO][PID:1335275] Checking for cancel request [2026-10-16 12:22:26,576][ INFO][PID:1335275] Checking for cancel request [2026-10-16 12:22:31,577][ INFO][PID:1335275] Checking for cancel request [2026-10-16 12:22:36,578][ INFO][PID:1335275] Checking for cancel request [2026-10-16 12:22:41,578][ INFO][PID:1335275] Checking for cancel request [2026-10-16 12:22:46,579][ INFO][PID:1335275] Checking for cancel request [2026-10-16 12:22:51,580][ INFO][PID:1335275] Checking for cancel request [2026-10-16 12:22:56,581][ INFO][PID:1335275] Checking for cancel request [2026-10-16 12:23:01,581][ INFO][PID:1335275] Checking for cancel request [2026-10-16 12:23:06,582][ INFO][PID:1335275] Checking for cancel request [2026-10-16 12:23:11,583][ INFO][PID:1335275] Checking for cancel request [2026-10-16 12:23:14,577][ INFO][PID:1335275] Allocated host ResallocHost, ticket_id=5704989, hostname=34.207.60.62, name=aws_x86_64_reserved_prod_53098694_20261016_122056, requested_tags=['arch_x86_64', 'copr_builder'] [2026-10-16 12:23:14,577][ INFO][PID:1335275] Allocating ssh connection to builder [2026-10-16 12:23:14,578][ INFO][PID:1335275] Checking that builder machine is OK [2026-10-16 12:23:14,863][ INFO][PID:1335275] Installed copr-rpmbuild version: 1.10 [2026-10-16 12:23:14,864][ INFO][PID:1335275] Running remote command: copr-builder-ready fedora-rawhide-x86_64 [2026-10-16 12:23:15,014][ INFO][PID:1335275] Red Hat subscription not needed for fedora-rawhide-x86_64 Builder is ready to be used [2026-10-16 12:23:15,014][ INFO][PID:1335275] Filling build.info file with builder info [2026-10-16 12:23:15,015][ INFO][PID:1335275] Checking for cancel request [2026-10-16 12:23:15,016][ INFO][PID:1335275] Sending build state back to frontend: { "builds": [ { "timeout": 18000, "frontend_base_url": "https://copr.fedorainfracloud.org", "memory_reqs": 2048, "enable_net": true, "project_owner": "petersen", "project_name": "lean4", "project_dirname": "lean4", "submitter": "petersen", "ended_on": null, "started_on": 1792153395.0163827, "submitted_on": null, "status": 3, "chroot": "fedora-rawhide-x86_64", "arch": "x86_64", "buildroot_pkgs": [], "task_id": "11159591-fedora-rawhide-x86_64", "build_id": 11159591, "package_name": "lean4", "package_version": "4.35.0-1", "git_repo": "https://copr-dist-git.fedorainfracloud.org/git/petersen/lean4/lean4", "git_hash": "5f17e9c9bf3c27901e23b9abb0cca6f8242b2b81", "git_branch": null, "source_type": null, "source_json": null, "pkg_name": null, "pkg_main_version": null, "pkg_epoch": null, "pkg_release": null, "srpm_url": null, "prebuilt_tarball_url": null, "uses_devel_repo": false, "sandbox": "petersen/lean4--petersen", "results": null, "appstream": false, "allow_user_ssh": false, "ssh_public_keys": null, "storage": 0, "repos": [ { "baseurl": "https://download.copr.fedorainfracloud.org/results/petersen/lean4/fedora-rawhide-x86_64/", "id": "copr_base", "name": "Copr repository", "priority": null, "repo_gpgcheck": false } ], "background": false, "fedora_review": false, "isolation": "default", "repo_priority": null, "tags": [ "arch_x86_64" ], "with_opts": [], "without_opts": [], "destdir": "/var/lib/copr/public_html/results/petersen/lean4", "results_repo_url": "https://download.copr.fedorainfracloud.org/results/petersen/lean4", "result_dir": "11159591-lean4", "built_packages": "", "rpmeta_prediction": 64, "id": 11159591, "mockchain_macros": { "copr_username": "petersen", "copr_projectname": "lean4", "vendor": "Fedora Project COPR (petersen/lean4)" } } ] } [2026-10-16 12:23:15,044][ INFO][PID:1335275] Sending fedora-messaging bus message in build.start [2026-10-16 12:23:15,674][ INFO][PID:1335275] Sending fedora-messaging bus message in chroot.start [2026-10-16 12:23:15,764][ INFO][PID:1335275] Starting remote build: copr-rpmbuild --verbose --drop-resultdir --task-url https://copr.fedorainfracloud.org/backend/get-build-task/11159591-fedora-rawhide-x86_64 --chroot fedora-rawhide-x86_64 --detached [2026-10-16 12:23:16,189][ INFO][PID:1335275] The copr-rpmbuild seems started, per: stdout: stderr: Warning: Permanently added '34.207.60.62' (ED25519) to the list of known hosts. [2026-10-16 12:23:16,190][ INFO][PID:1335275] Downloading the builder-live.log file, attempt 1 [2026-10-16 12:23:16,191][ INFO][PID:1335275] Popen command started: ssh -F /home/copr/.ssh/config mockbuilder@34.207.60.62 copr-rpmbuild-log [2026-10-16 12:23:21,195][ INFO][PID:1335275] Periodic builder liveness probe: alive [2026-10-16 12:23:21,195][ INFO][PID:1335275] Checking for cancel request [2026-10-16 12:23:26,196][ INFO][PID:1335275] Checking for cancel request [2026-10-16 12:23:31,197][ INFO][PID:1335275] Checking for cancel request [2026-10-16 12:23:36,198][ INFO][PID:1335275] Checking for cancel request [2026-10-16 12:23:41,198][ INFO][PID:1335275] Checking for cancel request [2026-10-16 12:23:46,199][ INFO][PID:1335275] Checking for cancel request [2026-10-16 12:23:51,200][ INFO][PID:1335275] Checking for cancel request [2026-10-16 12:23:56,203][ INFO][PID:1335275] Checking for cancel request [2026-10-16 12:24:01,204][ INFO][PID:1335275] Checking for cancel request [2026-10-16 12:24:03,072][ INFO][PID:1335275] Downloading results from builder [2026-10-16 12:24:03,072][ INFO][PID:1335275] rsyncing of mockbuilder@34.207.60.62:/var/lib/copr-rpmbuild/results/ to /var/lib/copr/public_html/results/petersen/lean4/fedora-rawhide-x86_64/11159591-lean4 started [2026-10-16 12:24:03,073][ INFO][PID:1335275] Popen command started: /usr/bin/rsync -rltDvH --chmod=D755,F644 -e 'ssh -F /home/copr/.ssh/config' mockbuilder@34.207.60.62:/var/lib/copr-rpmbuild/results/ /var/lib/copr/public_html/results/petersen/lean4/fedora-rawhide-x86_64/11159591-lean4/ &> /var/lib/copr/public_html/results/petersen/lean4/fedora-rawhide-x86_64/11159591-lean4/build-11159591.rsync.log [2026-10-16 12:24:03,398][ INFO][PID:1335275] rsyncing finished. [2026-10-16 12:24:03,399][ INFO][PID:1335275] VM Release request [2026-10-16 12:24:03,404][ INFO][PID:1335275] Searching for 'success' file in resultdir [2026-10-16 12:24:03,404][ ERROR][PID:1335275] Build failed: Backend process error: No success file => build failure [2026-10-16 12:24:03,409][ INFO][PID:1335275] Finished build: id=11159591 failed=True timeout=18000 destdir=/var/lib/copr/public_html/results/petersen/lean4 chroot=fedora-rawhide-x86_64 [2026-10-16 12:24:03,411][ ERROR][PID:1335275] Backend process error: No success file => build failure [2026-10-16 12:24:03,415][ INFO][PID:1335275] Worker failed build, took 48.39932370185852 [2026-10-16 12:24:03,416][ INFO][PID:1335275] Sending build state back to frontend: { "builds": [ { "timeout": 18000, "frontend_base_url": "https://copr.fedorainfracloud.org", "memory_reqs": 2048, "enable_net": true, "project_owner": "petersen", "project_name": "lean4", "project_dirname": "lean4", "submitter": "petersen", "ended_on": 1792153443.4157064, "started_on": 1792153395.0163827, "submitted_on": null, "status": 0, "chroot": "fedora-rawhide-x86_64", "arch": "x86_64", "buildroot_pkgs": [], "task_id": "11159591-fedora-rawhide-x86_64", "build_id": 11159591, "package_name": "lean4", "package_version": "4.35.0-1", "git_repo": "https://copr-dist-git.fedorainfracloud.org/git/petersen/lean4/lean4", "git_hash": "5f17e9c9bf3c27901e23b9abb0cca6f8242b2b81", "git_branch": null, "source_type": null, "source_json": null, "pkg_name": null, "pkg_main_version": null, "pkg_epoch": null, "pkg_release": null, "srpm_url": null, "prebuilt_tarball_url": null, "uses_devel_repo": false, "sandbox": "petersen/lean4--petersen", "results": null, "appstream": false, "allow_user_ssh": false, "ssh_public_keys": null, "storage": 0, "repos": [ { "baseurl": "https://download.copr.fedorainfracloud.org/results/petersen/lean4/fedora-rawhide-x86_64/", "id": "copr_base", "name": "Copr repository", "priority": null, "repo_gpgcheck": false } ], "background": false, "fedora_review": false, "isolation": "default", "repo_priority": null, "tags": [ "arch_x86_64" ], "with_opts": [], "without_opts": [], "destdir": "/var/lib/copr/public_html/results/petersen/lean4", "results_repo_url": "https://download.copr.fedorainfracloud.org/results/petersen/lean4", "result_dir": "11159591-lean4", "built_packages": "", "rpmeta_prediction": 64, "id": 11159591, "mockchain_macros": { "copr_username": "petersen", "copr_projectname": "lean4", "vendor": "Fedora Project COPR (petersen/lean4)" } } ] } [2026-10-16 12:24:03,447][ INFO][PID:1335275] Sending fedora-messaging bus message in build.end [2026-10-16 12:24:03,512][ INFO][PID:1335275] Compressing /var/lib/copr/public_html/results/petersen/lean4/fedora-rawhide-x86_64/11159591-lean4/builder-live.log by gzip [2026-10-16 12:24:03,513][ INFO][PID:1335275] Running command 'gzip /var/lib/copr/public_html/results/petersen/lean4/fedora-rawhide-x86_64/11159591-lean4/builder-live.log' as PID 1430060 [2026-10-16 12:24:03,516][ INFO][PID:1335275] Finished after 0 seconds with exit code 0 (gzip /var/lib/copr/public_html/results/petersen/lean4/fedora-rawhide-x86_64/11159591-lean4/builder-live.log) [2026-10-16 12:24:03,516][ INFO][PID:1335275] Compressing /var/lib/copr/public_html/results/petersen/lean4/fedora-rawhide-x86_64/11159591-lean4/backend.log by gzip [2026-10-16 12:24:03,517][ INFO][PID:1335275] Running command 'gzip /var/lib/copr/public_html/results/petersen/lean4/fedora-rawhide-x86_64/11159591-lean4/backend.log' as PID 1430062