[2025-12-22 12:26:27,421][ INFO][PID:2947626] Marking build as starting [2025-12-22 12:26:27,461][ INFO][PID:2947626] Checking that /var/lib/copr/public_html/results/petersen/lean4/fedora-rawhide-x86_64/repodata/repomd.xml exists [2025-12-22 12:26:27,477][ INFO][PID:2947626] Checking for cancel request [2025-12-22 12:26:27,478][ INFO][PID:2947626] VM allocation process starts [2025-12-22 12:26:27,488][ INFO][PID:2947626] Trying to allocate VM: ResallocHost, ticket_id=471883, requested_tags=['copr_builder', 'arch_x86_64'] [2025-12-22 12:26:30,506][ INFO][PID:2947626] Allocated host ResallocHost, ticket_id=471883, hostname=54.165.48.198, name=aws_x86_64_normalreserved_prod_00730191_20251222_122350, requested_tags=['copr_builder', 'arch_x86_64'] [2025-12-22 12:26:30,652][ INFO][PID:2947626] Allocating ssh connection to builder [2025-12-22 12:26:30,652][ INFO][PID:2947626] Checking that builder machine is OK [2025-12-22 12:26:30,983][ INFO][PID:2947626] Running remote command: copr-builder-ready fedora-rawhide-x86_64 [2025-12-22 12:26:31,212][ INFO][PID:2947626] Red Hat subscription not needed for fedora-rawhide-x86_64 Builder is ready to be used [2025-12-22 12:26:31,213][ INFO][PID:2947626] Filling build.info file with builder info [2025-12-22 12:26:31,213][ INFO][PID:2947626] Checking for cancel request [2025-12-22 12:26:31,214][ INFO][PID:2947626] 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": 1766406391.214346, "submitted_on": null, "status": 3, "chroot": "fedora-rawhide-x86_64", "arch": "x86_64", "buildroot_pkgs": [], "task_id": "9940985-fedora-rawhide-x86_64", "build_id": 9940985, "package_name": "lean4", "package_version": "4.26.0-1", "git_repo": "https://copr-dist-git.fedorainfracloud.org/git/petersen/lean4/lean4", "git_hash": "2e84db4943f65feb871b042ec870594867a8e488", "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, "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 } ], "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": "09940985-lean4", "built_packages": "", "id": 9940985, "mockchain_macros": { "copr_username": "petersen", "copr_projectname": "lean4", "vendor": "Fedora Project COPR (petersen/lean4)" } } ] } [2025-12-22 12:26:31,260][ INFO][PID:2947626] Sending fedora-messaging bus message in build.start [2025-12-22 12:26:31,965][ INFO][PID:2947626] Sending fedora-messaging bus message in chroot.start [2025-12-22 12:26:31,997][ INFO][PID:2947626] Starting remote build: copr-rpmbuild --verbose --drop-resultdir --task-url https://copr.fedorainfracloud.org/backend/get-build-task/9940985-fedora-rawhide-x86_64 --chroot fedora-rawhide-x86_64 --detached [2025-12-22 12:26:32,336][ INFO][PID:2947626] The copr-rpmbuild seems started, per: stdout: stderr: Warning: Permanently added '54.165.48.198' (ED25519) to the list of known hosts. [2025-12-22 12:26:32,337][ INFO][PID:2947626] Downloading the builder-live.log file, attempt 1 [2025-12-22 12:26:32,339][ INFO][PID:2947626] Popen command started: ssh -F /home/copr/.ssh/config mockbuilder@54.165.48.198 copr-rpmbuild-log [2025-12-22 12:26:37,344][ INFO][PID:2947626] Periodic builder liveness probe: alive [2025-12-22 12:26:37,344][ INFO][PID:2947626] Checking for cancel request [2025-12-22 12:26:42,345][ INFO][PID:2947626] Checking for cancel request [2025-12-22 12:26:47,346][ INFO][PID:2947626] Checking for cancel request [2025-12-22 12:26:52,347][ INFO][PID:2947626] Checking for cancel request [2025-12-22 12:26:57,348][ INFO][PID:2947626] Checking for cancel request [2025-12-22 12:27:02,349][ INFO][PID:2947626] Checking for cancel request [2025-12-22 12:27:07,351][ INFO][PID:2947626] Checking for cancel request [2025-12-22 12:27:12,355][ INFO][PID:2947626] Checking for cancel request [2025-12-22 12:27:13,788][ INFO][PID:2947626] Downloading results from builder [2025-12-22 12:27:13,789][ INFO][PID:2947626] rsyncing of mockbuilder@54.165.48.198:/var/lib/copr-rpmbuild/results/ to /var/lib/copr/public_html/results/petersen/lean4/fedora-rawhide-x86_64/09940985-lean4 started [2025-12-22 12:27:13,789][ INFO][PID:2947626] Popen command started: /usr/bin/rsync -rltDvH --chmod=D755,F644 -e 'ssh -F /home/copr/.ssh/config' mockbuilder@54.165.48.198:/var/lib/copr-rpmbuild/results/ /var/lib/copr/public_html/results/petersen/lean4/fedora-rawhide-x86_64/09940985-lean4/ &> /var/lib/copr/public_html/results/petersen/lean4/fedora-rawhide-x86_64/09940985-lean4/build-09940985.rsync.log [2025-12-22 12:27:14,283][ INFO][PID:2947626] rsyncing finished. [2025-12-22 12:27:14,284][ INFO][PID:2947626] Releasing VM back to pool [2025-12-22 12:27:14,292][ INFO][PID:2947626] Searching for 'success' file in resultdir [2025-12-22 12:27:14,293][ ERROR][PID:2947626] Build failed: Backend process error: No success file => build failure [2025-12-22 12:27:14,294][ INFO][PID:2947626] Finished build: id=9940985 failed=True timeout=18000 destdir=/var/lib/copr/public_html/results/petersen/lean4 chroot=fedora-rawhide-x86_64 [2025-12-22 12:27:14,295][ ERROR][PID:2947626] Backend process error: No success file => build failure [2025-12-22 12:27:14,296][ INFO][PID:2947626] Worker failed build, took 43.08177590370178 [2025-12-22 12:27:14,296][ INFO][PID:2947626] 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": 1766406434.2961218, "started_on": 1766406391.214346, "submitted_on": null, "status": 0, "chroot": "fedora-rawhide-x86_64", "arch": "x86_64", "buildroot_pkgs": [], "task_id": "9940985-fedora-rawhide-x86_64", "build_id": 9940985, "package_name": "lean4", "package_version": "4.26.0-1", "git_repo": "https://copr-dist-git.fedorainfracloud.org/git/petersen/lean4/lean4", "git_hash": "2e84db4943f65feb871b042ec870594867a8e488", "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, "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 } ], "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": "09940985-lean4", "built_packages": "", "id": 9940985, "mockchain_macros": { "copr_username": "petersen", "copr_projectname": "lean4", "vendor": "Fedora Project COPR (petersen/lean4)" } } ] } [2025-12-22 12:27:14,334][ INFO][PID:2947626] Sending fedora-messaging bus message in build.end [2025-12-22 12:27:14,361][ INFO][PID:2947626] Compressing /var/lib/copr/public_html/results/petersen/lean4/fedora-rawhide-x86_64/09940985-lean4/builder-live.log by gzip [2025-12-22 12:27:14,362][ INFO][PID:2947626] Running command 'gzip /var/lib/copr/public_html/results/petersen/lean4/fedora-rawhide-x86_64/09940985-lean4/builder-live.log' as PID 2952213 [2025-12-22 12:27:14,367][ INFO][PID:2947626] Finished after 0 seconds with exit code 0 (gzip /var/lib/copr/public_html/results/petersen/lean4/fedora-rawhide-x86_64/09940985-lean4/builder-live.log) [2025-12-22 12:27:14,368][ INFO][PID:2947626] Compressing /var/lib/copr/public_html/results/petersen/lean4/fedora-rawhide-x86_64/09940985-lean4/backend.log by gzip [2025-12-22 12:27:14,369][ INFO][PID:2947626] Running command 'gzip /var/lib/copr/public_html/results/petersen/lean4/fedora-rawhide-x86_64/09940985-lean4/backend.log' as PID 2952214