[2026-10-16 20:46:12,774][ INFO][PID:4055235] Marking build as starting [2026-10-16 20:46:12,802][ INFO][PID:4055235] Checking that /var/lib/copr/public_html/results/petersen/lean4/epel-10-x86_64/repodata/repomd.xml exists [2026-10-16 20:46:12,804][ INFO][PID:4055235] Checking for cancel request [2026-10-16 20:46:12,844][ INFO][PID:4055235] rpmeta: predicted 47 min for lean4 on epel-10-x86_64 -> normal builder sufficient [2026-10-16 20:46:12,844][ INFO][PID:4055235] VM allocation process starts [2026-10-16 20:46:12,874][ INFO][PID:4055235] Trying to allocate VM: ResallocHost, ticket_id=5725924, requested_tags=['arch_x86_64', 'copr_builder'] [2026-10-16 20:46:15,882][ INFO][PID:4055235] Allocated host ResallocHost, ticket_id=5725924, hostname=34.207.147.243, name=aws_x86_64_reserved_prod_53237797_20261016_204351, requested_tags=['arch_x86_64', 'copr_builder'] [2026-10-16 20:46:15,882][ INFO][PID:4055235] Allocating ssh connection to builder [2026-10-16 20:46:15,883][ INFO][PID:4055235] Checking that builder machine is OK [2026-10-16 20:46:16,182][ INFO][PID:4055235] Installed copr-rpmbuild version: 1.10 [2026-10-16 20:46:16,183][ INFO][PID:4055235] Running remote command: copr-builder-ready epel-10-x86_64 [2026-10-16 20:46:16,345][ INFO][PID:4055235] Checking Red Hat subscription (attempt #1) Red Hat subscription active Builder is ready to be used [2026-10-16 20:46:16,345][ INFO][PID:4055235] Filling build.info file with builder info [2026-10-16 20:46:16,346][ INFO][PID:4055235] Checking for cancel request [2026-10-16 20:46:16,346][ INFO][PID:4055235] 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": 1792183576.3465633, "submitted_on": null, "status": 3, "chroot": "epel-10-x86_64", "arch": "x86_64", "buildroot_pkgs": [], "task_id": "11161778-epel-10-x86_64", "build_id": 11161778, "package_name": "lean4", "package_version": "4.35.0-1", "git_repo": "https://copr-dist-git.fedorainfracloud.org/git/petersen/lean4/lean4", "git_hash": "6ac08bee5be7ea373f6b078306c97c068d1eb3a1", "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/epel-10-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": "11161778-lean4", "built_packages": "", "rpmeta_prediction": 47, "id": 11161778, "mockchain_macros": { "copr_username": "petersen", "copr_projectname": "lean4", "vendor": "Fedora Project COPR (petersen/lean4)" } } ] } [2026-10-16 20:46:16,374][ INFO][PID:4055235] Sending fedora-messaging bus message in build.start [2026-10-16 20:46:16,712][ INFO][PID:4055235] Sending fedora-messaging bus message in chroot.start [2026-10-16 20:46:16,730][ INFO][PID:4055235] Starting remote build: copr-rpmbuild --verbose --drop-resultdir --task-url https://copr.fedorainfracloud.org/backend/get-build-task/11161778-epel-10-x86_64 --chroot epel-10-x86_64 --detached [2026-10-16 20:46:17,356][ INFO][PID:4055235] The copr-rpmbuild seems started, per: stdout: stderr: Warning: Permanently added '34.207.147.243' (ED25519) to the list of known hosts. [2026-10-16 20:46:17,357][ INFO][PID:4055235] Downloading the builder-live.log file, attempt 1 [2026-10-16 20:46:17,358][ INFO][PID:4055235] Popen command started: ssh -F /home/copr/.ssh/config mockbuilder@34.207.147.243 copr-rpmbuild-log [2026-10-16 20:46:22,361][ INFO][PID:4055235] Periodic builder liveness probe: alive [2026-10-16 20:46:22,362][ INFO][PID:4055235] Checking for cancel request [2026-10-16 20:46:27,362][ INFO][PID:4055235] Checking for cancel request [2026-10-16 20:46:32,363][ INFO][PID:4055235] Checking for cancel request [2026-10-16 20:46:37,364][ INFO][PID:4055235] Checking for cancel request [2026-10-16 20:46:42,365][ INFO][PID:4055235] Checking for cancel request [2026-10-16 20:46:47,366][ INFO][PID:4055235] Checking for cancel request [2026-10-16 20:46:52,366][ INFO][PID:4055235] Checking for cancel request [2026-10-16 20:46:57,367][ INFO][PID:4055235] Checking for cancel request [2026-10-16 20:47:02,368][ INFO][PID:4055235] Checking for cancel request [2026-10-16 20:47:07,369][ INFO][PID:4055235] Checking for cancel request [2026-10-16 20:47:12,370][ INFO][PID:4055235] Checking for cancel request [2026-10-16 20:47:13,795][ INFO][PID:4055235] Downloading results from builder [2026-10-16 20:47:13,795][ INFO][PID:4055235] rsyncing of mockbuilder@34.207.147.243:/var/lib/copr-rpmbuild/results/ to /var/lib/copr/public_html/results/petersen/lean4/epel-10-x86_64/11161778-lean4 started [2026-10-16 20:47:13,796][ INFO][PID:4055235] Popen command started: /usr/bin/rsync -rltDvH --chmod=D755,F644 -e 'ssh -F /home/copr/.ssh/config' mockbuilder@34.207.147.243:/var/lib/copr-rpmbuild/results/ /var/lib/copr/public_html/results/petersen/lean4/epel-10-x86_64/11161778-lean4/ &> /var/lib/copr/public_html/results/petersen/lean4/epel-10-x86_64/11161778-lean4/build-11161778.rsync.log [2026-10-16 20:47:14,157][ INFO][PID:4055235] rsyncing finished. [2026-10-16 20:47:14,157][ INFO][PID:4055235] VM Release request [2026-10-16 20:47:14,163][ INFO][PID:4055235] Searching for 'success' file in resultdir [2026-10-16 20:47:14,164][ ERROR][PID:4055235] Build failed: Backend process error: No success file => build failure [2026-10-16 20:47:14,168][ INFO][PID:4055235] Finished build: id=11161778 failed=True timeout=18000 destdir=/var/lib/copr/public_html/results/petersen/lean4 chroot=epel-10-x86_64 [2026-10-16 20:47:14,169][ ERROR][PID:4055235] Backend process error: No success file => build failure [2026-10-16 20:47:14,172][ INFO][PID:4055235] Worker failed build, took 57.82569861412048 [2026-10-16 20:47:14,173][ INFO][PID:4055235] 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": 1792183634.172262, "started_on": 1792183576.3465633, "submitted_on": null, "status": 0, "chroot": "epel-10-x86_64", "arch": "x86_64", "buildroot_pkgs": [], "task_id": "11161778-epel-10-x86_64", "build_id": 11161778, "package_name": "lean4", "package_version": "4.35.0-1", "git_repo": "https://copr-dist-git.fedorainfracloud.org/git/petersen/lean4/lean4", "git_hash": "6ac08bee5be7ea373f6b078306c97c068d1eb3a1", "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/epel-10-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": "11161778-lean4", "built_packages": "", "rpmeta_prediction": 47, "id": 11161778, "mockchain_macros": { "copr_username": "petersen", "copr_projectname": "lean4", "vendor": "Fedora Project COPR (petersen/lean4)" } } ] } [2026-10-16 20:47:14,205][ INFO][PID:4055235] Sending fedora-messaging bus message in build.end [2026-10-16 20:47:14,224][ INFO][PID:4055235] Compressing /var/lib/copr/public_html/results/petersen/lean4/epel-10-x86_64/11161778-lean4/builder-live.log by gzip [2026-10-16 20:47:14,225][ INFO][PID:4055235] Running command 'gzip /var/lib/copr/public_html/results/petersen/lean4/epel-10-x86_64/11161778-lean4/builder-live.log' as PID 4065455 [2026-10-16 20:47:14,227][ INFO][PID:4055235] Finished after 0 seconds with exit code 0 (gzip /var/lib/copr/public_html/results/petersen/lean4/epel-10-x86_64/11161778-lean4/builder-live.log) [2026-10-16 20:47:14,228][ INFO][PID:4055235] Compressing /var/lib/copr/public_html/results/petersen/lean4/epel-10-x86_64/11161778-lean4/backend.log by gzip [2026-10-16 20:47:14,228][ INFO][PID:4055235] Running command 'gzip /var/lib/copr/public_html/results/petersen/lean4/epel-10-x86_64/11161778-lean4/backend.log' as PID 4065456