[2025-12-18 16:03:16,918][  INFO][PID:1814735] Marking build as starting
[2025-12-18 16:03:16,992][  INFO][PID:1814735] Checking that /var/lib/copr/public_html/results/petersen/lean4/fedora-rawhide-x86_64/repodata/repomd.xml exists
[2025-12-18 16:03:17,107][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:03:17,116][  INFO][PID:1814735] VM allocation process starts
[2025-12-18 16:03:17,138][  INFO][PID:1814735] Trying to allocate VM: ResallocHost, ticket_id=425828, requested_tags=['copr_builder', 'arch_x86_64']
[2025-12-18 16:03:22,142][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:03:27,143][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:03:29,181][  INFO][PID:1814735] Allocated host ResallocHost, ticket_id=425828, hostname=52.91.174.178, name=aws_x86_64_normal_prod_00679464_20251218_160041, requested_tags=['copr_builder', 'arch_x86_64']
[2025-12-18 16:03:29,182][  INFO][PID:1814735] Allocating ssh connection to builder
[2025-12-18 16:03:29,183][  INFO][PID:1814735] Checking that builder machine is OK
[2025-12-18 16:03:29,556][  INFO][PID:1814735] Running remote command: copr-builder-ready fedora-rawhide-x86_64
[2025-12-18 16:03:29,798][  INFO][PID:1814735] Red Hat subscription not needed for fedora-rawhide-x86_64
Builder is ready to be used

[2025-12-18 16:03:29,798][  INFO][PID:1814735] Filling build.info file with builder info
[2025-12-18 16:03:29,878][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:03:29,880][  INFO][PID:1814735] 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": 1766073809.8797915,
            "submitted_on": null,
            "status": 3,
            "chroot": "fedora-rawhide-x86_64",
            "arch": "x86_64",
            "buildroot_pkgs": [],
            "task_id": "9931781-fedora-rawhide-x86_64",
            "build_id": 9931781,
            "package_name": "lean4",
            "package_version": "4.26.0-1",
            "git_repo": "https://copr-dist-git.fedorainfracloud.org/git/petersen/lean4/lean4",
            "git_hash": "83c3ff9edb0f26f3479213c4e2b509fd70ac72fd",
            "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": "09931781-lean4",
            "built_packages": "",
            "id": 9931781,
            "mockchain_macros": {
                "copr_username": "petersen",
                "copr_projectname": "lean4",
                "vendor": "Fedora Project COPR (petersen/lean4)"
            }
        }
    ]
}
[2025-12-18 16:03:29,924][  INFO][PID:1814735] Sending fedora-messaging bus message in build.start
[2025-12-18 16:03:30,564][  INFO][PID:1814735] Sending fedora-messaging bus message in chroot.start
[2025-12-18 16:03:30,618][  INFO][PID:1814735] Starting remote build: copr-rpmbuild --verbose --drop-resultdir --task-url https://copr.fedorainfracloud.org/backend/get-build-task/9931781-fedora-rawhide-x86_64 --chroot fedora-rawhide-x86_64 --detached
[2025-12-18 16:03:30,994][  INFO][PID:1814735] The copr-rpmbuild seems started, per:
stdout: 
stderr: Warning: Permanently added '52.91.174.178' (ED25519) to the list of known hosts.


[2025-12-18 16:03:30,995][  INFO][PID:1814735] Downloading the builder-live.log file, attempt 1
[2025-12-18 16:03:31,004][  INFO][PID:1814735] Popen command started: ssh -F /home/copr/.ssh/config mockbuilder@52.91.174.178 copr-rpmbuild-log
[2025-12-18 16:03:36,015][  INFO][PID:1814735] Periodic builder liveness probe: alive
[2025-12-18 16:03:36,016][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:03:41,022][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:03:46,025][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:03:51,027][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:03:56,031][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:04:01,033][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:04:06,036][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:04:11,293][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:04:16,304][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:04:21,311][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:04:26,321][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:04:31,328][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:04:36,333][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:04:41,341][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:04:46,406][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:04:51,613][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:04:56,616][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:05:01,676][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:05:06,682][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:05:11,697][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:05:16,745][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:05:21,772][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:05:26,779][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:05:31,922][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:05:37,008][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:05:42,022][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:05:47,066][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:05:52,082][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:05:57,207][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:06:02,208][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:06:07,308][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:06:12,311][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:06:17,315][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:06:22,318][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:06:27,326][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:06:32,331][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:06:37,333][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:06:42,348][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:06:47,438][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:06:52,521][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:06:57,527][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:07:03,049][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:07:08,066][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:07:13,126][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:07:18,138][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:07:23,181][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:07:28,182][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:07:33,184][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:07:38,215][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:07:43,216][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:07:48,261][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:07:53,272][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:07:58,279][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:08:03,459][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:08:08,467][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:08:13,469][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:08:18,502][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:08:23,507][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:08:28,518][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:08:33,520][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:08:38,523][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:08:43,528][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:08:48,532][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:08:53,533][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:08:58,569][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:09:03,571][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:09:08,577][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:09:13,632][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:09:18,633][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:09:23,636][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:09:28,643][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:09:33,644][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:09:38,645][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:09:43,646][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:09:48,647][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:09:53,851][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:09:58,857][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:10:03,860][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:10:08,865][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:10:13,871][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:10:18,873][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:10:23,877][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:10:28,943][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:10:34,077][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:10:39,093][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:10:44,221][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:10:49,226][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:10:54,241][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:10:59,249][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:11:04,252][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:11:09,278][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:11:14,459][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:11:19,460][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:11:24,530][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:11:29,540][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:11:34,547][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:11:39,709][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:11:44,712][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:11:49,715][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:11:54,717][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:11:59,722][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:12:04,727][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:12:09,735][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:12:14,738][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:12:19,739][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:12:24,741][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:12:29,746][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:12:34,747][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:12:39,748][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:12:44,752][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:12:49,756][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:12:54,757][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:12:59,760][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:13:04,761][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:13:09,763][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:13:14,765][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:13:19,766][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:13:24,771][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:13:29,772][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:13:34,963][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:13:39,983][  INFO][PID:1814735] Periodic builder liveness probe: alive
[2025-12-18 16:13:39,984][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:13:44,985][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:13:49,986][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:13:54,987][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:13:59,995][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:14:05,002][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:14:10,005][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:14:15,010][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:14:20,048][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:14:25,049][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:14:30,051][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:14:35,054][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:14:40,057][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:14:45,058][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:14:50,062][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:14:55,291][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:15:00,294][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:15:05,297][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:15:10,298][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:15:15,299][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:15:20,305][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:15:25,306][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:15:30,682][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:15:35,687][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:15:40,693][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:15:45,700][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:15:50,703][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:15:55,710][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:16:00,719][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:16:05,722][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:16:10,723][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:16:15,724][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:16:20,726][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:16:25,728][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:16:30,730][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:16:35,961][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:16:40,965][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:16:45,966][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:16:50,967][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:16:55,968][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:17:00,972][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:17:05,977][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:17:11,063][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:17:16,096][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:17:21,133][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:17:26,148][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:17:31,159][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:17:36,238][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:17:41,256][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:17:46,404][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:17:51,632][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:17:56,637][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:18:01,638][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:18:06,642][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:18:11,645][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:18:16,654][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:18:21,656][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:18:26,662][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:18:31,666][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:18:36,667][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:18:41,669][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:18:46,671][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:18:51,673][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:18:56,675][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:19:01,676][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:19:06,677][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:19:11,679][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:19:16,681][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:19:21,687][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:19:26,705][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:19:31,706][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:19:36,708][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:19:41,709][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:19:46,710][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:19:51,711][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:19:56,714][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:20:01,715][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:20:06,758][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:20:11,763][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:20:16,772][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:20:21,815][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:20:26,822][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:20:31,826][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:20:36,898][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:20:41,904][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:20:46,906][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:20:51,908][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:20:56,912][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:21:01,913][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:21:06,915][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:21:12,200][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:21:17,219][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:21:22,221][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:21:27,222][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:21:32,223][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:21:37,225][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:21:42,231][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:21:47,233][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:21:52,235][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:21:57,236][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:22:02,238][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:22:07,241][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:22:12,242][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:22:17,243][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:22:22,244][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:22:27,249][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:22:32,250][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:22:37,251][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:22:42,255][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:22:47,256][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:22:52,353][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:22:57,407][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:23:02,416][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:23:07,427][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:23:12,432][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:23:17,435][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:23:22,446][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:23:27,453][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:23:32,463][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:23:37,464][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:23:42,524][  INFO][PID:1814735] Periodic builder liveness probe: alive
[2025-12-18 16:23:42,525][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:23:47,527][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:23:52,529][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:23:57,775][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:24:02,896][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:24:08,029][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:24:13,035][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:24:18,041][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:24:23,051][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:24:28,052][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:24:33,054][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:24:38,056][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:24:43,112][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:24:48,117][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:24:53,119][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:24:58,121][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:25:03,125][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:25:08,165][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:25:13,167][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:25:18,169][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:25:23,170][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:25:28,183][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:25:33,197][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:25:38,197][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:25:43,201][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:25:48,202][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:25:53,204][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:25:58,215][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:26:03,299][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:26:08,302][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:26:13,304][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:26:18,306][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:26:23,309][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:26:28,310][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:26:33,312][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:26:38,314][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:26:43,315][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:26:48,317][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:26:53,331][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:26:58,337][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:27:03,340][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:27:08,399][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:27:13,401][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:27:18,497][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:27:23,501][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:27:28,507][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:27:33,512][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:27:38,518][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:27:44,101][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:27:49,103][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:27:54,105][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:27:59,106][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:28:04,107][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:28:09,109][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:28:14,121][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:28:19,125][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:28:24,129][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:28:29,232][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:28:34,592][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:28:39,596][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:28:44,598][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:28:49,605][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:28:54,610][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:28:59,613][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:29:04,615][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:29:09,621][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:29:14,625][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:29:20,348][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:29:25,428][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:29:30,430][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:29:35,432][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:29:40,434][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:29:45,435][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:29:50,437][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:29:55,441][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:30:00,443][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:30:05,445][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:30:10,449][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:30:15,452][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:30:20,492][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:30:25,623][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:30:30,631][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:30:35,643][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:30:40,643][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:30:45,649][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:30:50,671][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:30:55,673][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:31:00,900][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:31:05,927][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:31:11,055][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:31:16,105][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:31:21,355][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:31:26,382][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:31:31,606][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:31:37,003][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:31:42,005][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:31:47,288][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:31:52,289][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:31:57,291][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:32:02,293][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:32:07,294][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:32:12,445][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:32:17,448][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:32:22,449][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:32:27,467][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:32:32,470][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:32:37,471][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:32:42,472][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:32:47,474][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:32:52,583][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:32:57,601][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:33:02,603][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:33:07,623][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:33:12,633][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:33:17,635][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:33:22,637][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:33:27,638][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:33:32,639][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:33:37,640][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:33:42,712][  INFO][PID:1814735] Periodic builder liveness probe: alive
[2025-12-18 16:33:42,737][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:33:47,739][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:33:52,853][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:33:57,857][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:34:02,858][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:34:07,927][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:34:12,928][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:34:17,929][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:34:22,930][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:34:27,932][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:34:32,934][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:34:37,935][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:34:43,160][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:34:48,161][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:34:53,163][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:34:58,163][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:35:03,165][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:35:08,166][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:35:13,167][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:35:18,169][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:35:23,170][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:35:28,171][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:35:33,172][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:35:38,174][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:35:43,175][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:35:48,176][  INFO][PID:1814735] Checking for cancel request
[2025-12-18 16:35:51,496][  INFO][PID:1814735] Downloading results from builder
[2025-12-18 16:35:51,497][  INFO][PID:1814735] rsyncing of mockbuilder@52.91.174.178:/var/lib/copr-rpmbuild/results/ to /var/lib/copr/public_html/results/petersen/lean4/fedora-rawhide-x86_64/09931781-lean4 started
[2025-12-18 16:35:51,501][  INFO][PID:1814735] Popen command started: /usr/bin/rsync -rltDvH --chmod=D755,F644 -e 'ssh -F /home/copr/.ssh/config' mockbuilder@52.91.174.178:/var/lib/copr-rpmbuild/results/ /var/lib/copr/public_html/results/petersen/lean4/fedora-rawhide-x86_64/09931781-lean4/ &> /var/lib/copr/public_html/results/petersen/lean4/fedora-rawhide-x86_64/09931781-lean4/build-09931781.rsync.log
[2025-12-18 16:35:52,202][  INFO][PID:1814735] rsyncing finished.
[2025-12-18 16:35:52,203][  INFO][PID:1814735] Releasing VM back to pool
[2025-12-18 16:35:52,218][  INFO][PID:1814735] Searching for 'success' file in resultdir
[2025-12-18 16:35:52,219][ ERROR][PID:1814735] Build failed: Backend process error: No success file => build failure
[2025-12-18 16:35:52,220][  INFO][PID:1814735] Finished build: id=9931781 failed=True timeout=18000 destdir=/var/lib/copr/public_html/results/petersen/lean4 chroot=fedora-rawhide-x86_64 
[2025-12-18 16:35:52,223][ ERROR][PID:1814735] Backend process error: No success file => build failure
[2025-12-18 16:35:52,224][  INFO][PID:1814735] Worker failed build, took 1942.34463763237
[2025-12-18 16:35:52,225][  INFO][PID:1814735] 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": 1766075752.2244291,
            "started_on": 1766073809.8797915,
            "submitted_on": null,
            "status": 0,
            "chroot": "fedora-rawhide-x86_64",
            "arch": "x86_64",
            "buildroot_pkgs": [],
            "task_id": "9931781-fedora-rawhide-x86_64",
            "build_id": 9931781,
            "package_name": "lean4",
            "package_version": "4.26.0-1",
            "git_repo": "https://copr-dist-git.fedorainfracloud.org/git/petersen/lean4/lean4",
            "git_hash": "83c3ff9edb0f26f3479213c4e2b509fd70ac72fd",
            "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": "09931781-lean4",
            "built_packages": "",
            "id": 9931781,
            "mockchain_macros": {
                "copr_username": "petersen",
                "copr_projectname": "lean4",
                "vendor": "Fedora Project COPR (petersen/lean4)"
            }
        }
    ]
}
[2025-12-18 16:35:52,279][  INFO][PID:1814735] Sending fedora-messaging bus message in build.end
[2025-12-18 16:35:52,308][  INFO][PID:1814735] Compressing /var/lib/copr/public_html/results/petersen/lean4/fedora-rawhide-x86_64/09931781-lean4/builder-live.log by gzip
[2025-12-18 16:35:52,310][  INFO][PID:1814735] Running command 'gzip /var/lib/copr/public_html/results/petersen/lean4/fedora-rawhide-x86_64/09931781-lean4/builder-live.log' as PID 2069989
[2025-12-18 16:35:52,498][  INFO][PID:1814735] Finished after 0 seconds with exit code 0 (gzip /var/lib/copr/public_html/results/petersen/lean4/fedora-rawhide-x86_64/09931781-lean4/builder-live.log)
[2025-12-18 16:35:52,499][  INFO][PID:1814735] Compressing /var/lib/copr/public_html/results/petersen/lean4/fedora-rawhide-x86_64/09931781-lean4/backend.log by gzip
[2025-12-18 16:35:52,502][  INFO][PID:1814735] Running command 'gzip /var/lib/copr/public_html/results/petersen/lean4/fedora-rawhide-x86_64/09931781-lean4/backend.log' as PID 2069996