[2025-12-22 06:36:29,261][  INFO][PID:1668218] Marking build as starting
[2025-12-22 06:36:29,300][  INFO][PID:1668218] Checking that /var/lib/copr/public_html/results/petersen/lean4/fedora-43-x86_64/repodata/repomd.xml exists
[2025-12-22 06:36:29,355][  INFO][PID:1668218] Checking for cancel request
[2025-12-22 06:36:29,356][  INFO][PID:1668218] VM allocation process starts
[2025-12-22 06:36:29,376][  INFO][PID:1668218] Trying to allocate VM: ResallocHost, ticket_id=469699, requested_tags=['copr_builder', 'arch_x86_64']
[2025-12-22 06:36:32,389][  INFO][PID:1668218] Allocated host ResallocHost, ticket_id=469699, hostname=100.30.224.187, name=aws_x86_64_normalreserved_prod_00727945_20251222_055530, requested_tags=['copr_builder', 'arch_x86_64']
[2025-12-22 06:36:32,390][  INFO][PID:1668218] Allocating ssh connection to builder
[2025-12-22 06:36:32,390][  INFO][PID:1668218] Checking that builder machine is OK
[2025-12-22 06:36:32,726][  INFO][PID:1668218] Running remote command: copr-builder-ready fedora-43-x86_64
[2025-12-22 06:36:32,927][  INFO][PID:1668218] Red Hat subscription not needed for fedora-43-x86_64
Builder is ready to be used

[2025-12-22 06:36:32,928][  INFO][PID:1668218] Filling build.info file with builder info
[2025-12-22 06:36:32,928][  INFO][PID:1668218] Checking for cancel request
[2025-12-22 06:36:32,929][  INFO][PID:1668218] 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": 1766385392.92928,
            "submitted_on": null,
            "status": 3,
            "chroot": "fedora-43-x86_64",
            "arch": "x86_64",
            "buildroot_pkgs": [],
            "task_id": "9940560-fedora-43-x86_64",
            "build_id": 9940560,
            "package_name": "lean4",
            "package_version": "4.26.0-1",
            "git_repo": "https://copr-dist-git.fedorainfracloud.org/git/petersen/lean4/lean4",
            "git_hash": "a863219ecd62a9a61f20be2d417c916ba37eaeea",
            "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-43-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": "09940560-lean4",
            "built_packages": "",
            "id": 9940560,
            "mockchain_macros": {
                "copr_username": "petersen",
                "copr_projectname": "lean4",
                "vendor": "Fedora Project COPR (petersen/lean4)"
            }
        }
    ]
}
[2025-12-22 06:36:32,966][  INFO][PID:1668218] Sending fedora-messaging bus message in build.start
[2025-12-22 06:36:33,456][  INFO][PID:1668218] Sending fedora-messaging bus message in chroot.start
[2025-12-22 06:36:33,485][  INFO][PID:1668218] Starting remote build: copr-rpmbuild --verbose --drop-resultdir --task-url https://copr.fedorainfracloud.org/backend/get-build-task/9940560-fedora-43-x86_64 --chroot fedora-43-x86_64 --detached
[2025-12-22 06:36:33,835][  INFO][PID:1668218] The copr-rpmbuild seems started, per:
stdout: 
stderr: Warning: Permanently added '100.30.224.187' (ED25519) to the list of known hosts.


[2025-12-22 06:36:33,836][  INFO][PID:1668218] Downloading the builder-live.log file, attempt 1
[2025-12-22 06:36:33,838][  INFO][PID:1668218] Popen command started: ssh -F /home/copr/.ssh/config mockbuilder@100.30.224.187 copr-rpmbuild-log
[2025-12-22 06:36:38,842][  INFO][PID:1668218] Periodic builder liveness probe: alive
[2025-12-22 06:36:38,842][  INFO][PID:1668218] Checking for cancel request
[2025-12-22 06:36:43,843][  INFO][PID:1668218] Checking for cancel request
[2025-12-22 06:36:48,844][  INFO][PID:1668218] Checking for cancel request
[2025-12-22 06:36:53,845][  INFO][PID:1668218] Checking for cancel request
[2025-12-22 06:36:58,846][  INFO][PID:1668218] Checking for cancel request
[2025-12-22 06:37:03,847][  INFO][PID:1668218] Checking for cancel request
[2025-12-22 06:37:08,848][  INFO][PID:1668218] Checking for cancel request
[2025-12-22 06:37:13,849][  INFO][PID:1668218] Checking for cancel request
[2025-12-22 06:37:18,850][  INFO][PID:1668218] Checking for cancel request
[2025-12-22 06:37:23,851][  INFO][PID:1668218] Checking for cancel request
[2025-12-22 06:37:28,851][  INFO][PID:1668218] Checking for cancel request
[2025-12-22 06:37:33,852][  INFO][PID:1668218] Checking for cancel request
[2025-12-22 06:37:38,853][  INFO][PID:1668218] Checking for cancel request
[2025-12-22 06:37:43,854][  INFO][PID:1668218] Checking for cancel request
[2025-12-22 06:37:48,855][  INFO][PID:1668218] Checking for cancel request
[2025-12-22 06:37:53,856][  INFO][PID:1668218] Checking for cancel request
[2025-12-22 06:37:58,857][  INFO][PID:1668218] Checking for cancel request
[2025-12-22 06:38:03,858][  INFO][PID:1668218] Checking for cancel request
[2025-12-22 06:38:08,859][  INFO][PID:1668218] Checking for cancel request
[2025-12-22 06:38:13,860][  INFO][PID:1668218] Checking for cancel request
[2025-12-22 06:38:18,861][  INFO][PID:1668218] Checking for cancel request
[2025-12-22 06:38:23,862][  INFO][PID:1668218] Checking for cancel request
[2025-12-22 06:38:28,863][  INFO][PID:1668218] Checking for cancel request
[2025-12-22 06:38:33,864][  INFO][PID:1668218] Checking for cancel request
[2025-12-22 06:38:38,864][  INFO][PID:1668218] Checking for cancel request
[2025-12-22 06:38:43,865][  INFO][PID:1668218] Checking for cancel request
[2025-12-22 06:38:48,866][  INFO][PID:1668218] Checking for cancel request
[2025-12-22 06:38:53,867][  INFO][PID:1668218] Checking for cancel request
[2025-12-22 06:38:58,868][  INFO][PID:1668218] Checking for cancel request
[2025-12-22 06:39:03,869][  INFO][PID:1668218] Checking for cancel request
[2025-12-22 06:39:08,870][  INFO][PID:1668218] Checking for cancel request
[2025-12-22 06:39:13,871][  INFO][PID:1668218] Checking for cancel request
[2025-12-22 06:39:18,872][  INFO][PID:1668218] Checking for cancel request
[2025-12-22 06:39:23,873][  INFO][PID:1668218] Checking for cancel request
[2025-12-22 06:39:28,874][  INFO][PID:1668218] Checking for cancel request
[2025-12-22 06:39:33,874][  INFO][PID:1668218] Checking for cancel request
[2025-12-22 06:39:38,875][  INFO][PID:1668218] Checking for cancel request
[2025-12-22 06:39:43,876][  INFO][PID:1668218] Checking for cancel request
[2025-12-22 06:39:48,877][  INFO][PID:1668218] Checking for cancel request
[2025-12-22 06:39:53,878][  INFO][PID:1668218] Checking for cancel request
[2025-12-22 06:39:58,879][  INFO][PID:1668218] Checking for cancel request
[2025-12-22 06:40:03,880][  INFO][PID:1668218] Checking for cancel request
[2025-12-22 06:40:08,881][  INFO][PID:1668218] Checking for cancel request
[2025-12-22 06:40:13,882][  INFO][PID:1668218] Checking for cancel request
[2025-12-22 06:40:18,883][  INFO][PID:1668218] Checking for cancel request
[2025-12-22 06:40:23,883][  INFO][PID:1668218] Checking for cancel request
[2025-12-22 06:40:28,884][  INFO][PID:1668218] Checking for cancel request
[2025-12-22 06:40:33,885][  INFO][PID:1668218] Checking for cancel request
[2025-12-22 06:40:38,886][  INFO][PID:1668218] Checking for cancel request
[2025-12-22 06:40:43,887][  INFO][PID:1668218] Checking for cancel request
[2025-12-22 06:40:48,888][  INFO][PID:1668218] Checking for cancel request
[2025-12-22 06:40:53,889][  INFO][PID:1668218] Checking for cancel request
[2025-12-22 06:40:58,890][  INFO][PID:1668218] Checking for cancel request
[2025-12-22 06:41:03,891][  INFO][PID:1668218] Checking for cancel request
[2025-12-22 06:41:08,892][  INFO][PID:1668218] Checking for cancel request
[2025-12-22 06:41:13,892][  INFO][PID:1668218] Checking for cancel request
[2025-12-22 06:41:18,893][  INFO][PID:1668218] Checking for cancel request
[2025-12-22 06:41:23,894][  INFO][PID:1668218] Checking for cancel request
[2025-12-22 06:41:28,895][  INFO][PID:1668218] Checking for cancel request
[2025-12-22 06:41:33,896][  INFO][PID:1668218] Checking for cancel request
[2025-12-22 06:41:38,897][  INFO][PID:1668218] Checking for cancel request
[2025-12-22 06:41:43,898][  INFO][PID:1668218] Checking for cancel request
[2025-12-22 06:41:48,899][  INFO][PID:1668218] Checking for cancel request
[2025-12-22 06:41:53,900][  INFO][PID:1668218] Checking for cancel request
[2025-12-22 06:41:58,901][  INFO][PID:1668218] Checking for cancel request
[2025-12-22 06:42:03,902][  INFO][PID:1668218] Checking for cancel request
[2025-12-22 06:42:08,903][  INFO][PID:1668218] Checking for cancel request
[2025-12-22 06:42:13,904][  INFO][PID:1668218] Checking for cancel request
[2025-12-22 06:42:18,905][  INFO][PID:1668218] Checking for cancel request
[2025-12-22 06:42:23,905][  INFO][PID:1668218] Checking for cancel request
[2025-12-22 06:42:28,906][  INFO][PID:1668218] Checking for cancel request
[2025-12-22 06:42:33,934][  INFO][PID:1668218] Checking for cancel request
[2025-12-22 06:42:38,935][  INFO][PID:1668218] Checking for cancel request
[2025-12-22 06:42:43,936][  INFO][PID:1668218] Checking for cancel request
[2025-12-22 06:42:48,937][  INFO][PID:1668218] Checking for cancel request
[2025-12-22 06:42:53,938][  INFO][PID:1668218] Checking for cancel request
[2025-12-22 06:42:58,939][  INFO][PID:1668218] Checking for cancel request
[2025-12-22 06:43:03,940][  INFO][PID:1668218] Checking for cancel request
[2025-12-22 06:43:08,941][  INFO][PID:1668218] Checking for cancel request
[2025-12-22 06:43:13,942][  INFO][PID:1668218] Checking for cancel request
[2025-12-22 06:43:18,943][  INFO][PID:1668218] Checking for cancel request
[2025-12-22 06:43:23,944][  INFO][PID:1668218] Checking for cancel request
[2025-12-22 06:43:28,944][  INFO][PID:1668218] Checking for cancel request
[2025-12-22 06:43:33,945][  INFO][PID:1668218] Checking for cancel request
[2025-12-22 06:43:38,946][  INFO][PID:1668218] Checking for cancel request
[2025-12-22 06:43:43,947][  INFO][PID:1668218] Checking for cancel request
[2025-12-22 06:43:48,948][  INFO][PID:1668218] Checking for cancel request
[2025-12-22 06:43:53,949][  INFO][PID:1668218] Checking for cancel request
[2025-12-22 06:43:58,950][  INFO][PID:1668218] Checking for cancel request
[2025-12-22 06:44:03,951][  INFO][PID:1668218] Checking for cancel request
[2025-12-22 06:44:08,952][  INFO][PID:1668218] Checking for cancel request
[2025-12-22 06:44:13,953][  INFO][PID:1668218] Checking for cancel request
[2025-12-22 06:44:18,954][  INFO][PID:1668218] Checking for cancel request
[2025-12-22 06:44:23,955][  INFO][PID:1668218] Checking for cancel request
[2025-12-22 06:44:28,956][  INFO][PID:1668218] Checking for cancel request
[2025-12-22 06:44:33,956][  INFO][PID:1668218] Checking for cancel request
[2025-12-22 06:44:38,957][  INFO][PID:1668218] Checking for cancel request
[2025-12-22 06:44:43,958][  INFO][PID:1668218] Checking for cancel request
[2025-12-22 06:44:48,959][  INFO][PID:1668218] Checking for cancel request
[2025-12-22 06:44:53,960][  INFO][PID:1668218] Checking for cancel request
[2025-12-22 06:44:58,961][  INFO][PID:1668218] Checking for cancel request
[2025-12-22 06:45:03,962][  INFO][PID:1668218] Checking for cancel request
[2025-12-22 06:45:08,963][  INFO][PID:1668218] Checking for cancel request
[2025-12-22 06:45:13,964][  INFO][PID:1668218] Checking for cancel request
[2025-12-22 06:45:18,965][  INFO][PID:1668218] Checking for cancel request
[2025-12-22 06:45:23,966][  INFO][PID:1668218] Checking for cancel request
[2025-12-22 06:45:28,967][  INFO][PID:1668218] Checking for cancel request
[2025-12-22 06:45:33,968][  INFO][PID:1668218] Checking for cancel request
[2025-12-22 06:45:38,969][  INFO][PID:1668218] Checking for cancel request
[2025-12-22 06:45:43,970][  INFO][PID:1668218] Checking for cancel request
[2025-12-22 06:45:48,971][  INFO][PID:1668218] Checking for cancel request
[2025-12-22 06:45:53,972][  INFO][PID:1668218] Checking for cancel request
[2025-12-22 06:45:58,973][  INFO][PID:1668218] Checking for cancel request
[2025-12-22 06:46:03,974][  INFO][PID:1668218] Checking for cancel request
[2025-12-22 06:46:08,974][  INFO][PID:1668218] Checking for cancel request
[2025-12-22 06:46:13,975][  INFO][PID:1668218] Checking for cancel request
[2025-12-22 06:46:18,976][  INFO][PID:1668218] Checking for cancel request
[2025-12-22 06:46:23,977][  INFO][PID:1668218] Checking for cancel request
[2025-12-22 06:46:28,978][  INFO][PID:1668218] Checking for cancel request
[2025-12-22 06:46:33,979][  INFO][PID:1668218] Checking for cancel request
[2025-12-22 06:46:38,984][  INFO][PID:1668218] Periodic builder liveness probe: alive
[2025-12-22 06:46:38,985][  INFO][PID:1668218] Checking for cancel request
[2025-12-22 06:46:43,986][  INFO][PID:1668218] Checking for cancel request
[2025-12-22 06:46:48,987][  INFO][PID:1668218] Checking for cancel request
[2025-12-22 06:46:53,988][  INFO][PID:1668218] Checking for cancel request
[2025-12-22 06:46:58,989][  INFO][PID:1668218] Checking for cancel request
[2025-12-22 06:47:03,990][  INFO][PID:1668218] Checking for cancel request
[2025-12-22 06:47:08,990][  INFO][PID:1668218] Checking for cancel request
[2025-12-22 06:47:13,991][  INFO][PID:1668218] Checking for cancel request
[2025-12-22 06:47:18,992][  INFO][PID:1668218] Checking for cancel request
[2025-12-22 06:47:23,993][  INFO][PID:1668218] Checking for cancel request
[2025-12-22 06:47:28,994][  INFO][PID:1668218] Checking for cancel request
[2025-12-22 06:47:33,995][  INFO][PID:1668218] Checking for cancel request
[2025-12-22 06:47:38,996][  INFO][PID:1668218] Checking for cancel request
[2025-12-22 06:47:43,997][  INFO][PID:1668218] Checking for cancel request
[2025-12-22 06:47:48,998][  INFO][PID:1668218] Checking for cancel request
[2025-12-22 06:47:53,999][  INFO][PID:1668218] Checking for cancel request
[2025-12-22 06:47:59,000][  INFO][PID:1668218] Checking for cancel request
[2025-12-22 06:48:04,001][  INFO][PID:1668218] Checking for cancel request
[2025-12-22 06:48:09,002][  INFO][PID:1668218] Checking for cancel request
[2025-12-22 06:48:14,003][  INFO][PID:1668218] Checking for cancel request
[2025-12-22 06:48:19,004][  INFO][PID:1668218] Checking for cancel request
[2025-12-22 06:48:24,005][  INFO][PID:1668218] Checking for cancel request
[2025-12-22 06:48:29,006][  INFO][PID:1668218] Checking for cancel request
[2025-12-22 06:48:34,008][  INFO][PID:1668218] Checking for cancel request
[2025-12-22 06:48:39,009][  INFO][PID:1668218] Checking for cancel request
[2025-12-22 06:48:44,010][  INFO][PID:1668218] Checking for cancel request
[2025-12-22 06:48:49,011][  INFO][PID:1668218] Checking for cancel request
[2025-12-22 06:48:54,012][  INFO][PID:1668218] Checking for cancel request
[2025-12-22 06:48:59,013][  INFO][PID:1668218] Checking for cancel request
[2025-12-22 06:49:04,014][  INFO][PID:1668218] Checking for cancel request
[2025-12-22 06:49:09,015][  INFO][PID:1668218] Checking for cancel request
[2025-12-22 06:49:14,016][  INFO][PID:1668218] Checking for cancel request
[2025-12-22 06:49:19,017][  INFO][PID:1668218] Checking for cancel request
[2025-12-22 06:49:24,018][  INFO][PID:1668218] Checking for cancel request
[2025-12-22 06:49:29,020][  INFO][PID:1668218] Checking for cancel request
[2025-12-22 06:49:34,021][  INFO][PID:1668218] Checking for cancel request
[2025-12-22 06:49:39,021][  INFO][PID:1668218] Checking for cancel request
[2025-12-22 06:49:44,022][  INFO][PID:1668218] Checking for cancel request
[2025-12-22 06:49:49,023][  INFO][PID:1668218] Checking for cancel request
[2025-12-22 06:49:54,024][  INFO][PID:1668218] Checking for cancel request
[2025-12-22 06:49:59,119][  INFO][PID:1668218] Checking for cancel request
[2025-12-22 06:50:04,120][  INFO][PID:1668218] Checking for cancel request
[2025-12-22 06:50:09,122][  INFO][PID:1668218] Checking for cancel request
[2025-12-22 06:50:14,123][  INFO][PID:1668218] Checking for cancel request
[2025-12-22 06:50:19,124][  INFO][PID:1668218] Checking for cancel request
[2025-12-22 06:50:24,125][  INFO][PID:1668218] Checking for cancel request
[2025-12-22 06:50:29,126][  INFO][PID:1668218] Checking for cancel request
[2025-12-22 06:50:34,127][  INFO][PID:1668218] Checking for cancel request
[2025-12-22 06:50:39,128][  INFO][PID:1668218] Checking for cancel request
[2025-12-22 06:50:44,129][  INFO][PID:1668218] Checking for cancel request
[2025-12-22 06:50:49,130][  INFO][PID:1668218] Checking for cancel request
[2025-12-22 06:50:54,131][  INFO][PID:1668218] Checking for cancel request
[2025-12-22 06:50:59,132][  INFO][PID:1668218] Checking for cancel request
[2025-12-22 06:51:04,133][  INFO][PID:1668218] Checking for cancel request
[2025-12-22 06:51:09,134][  INFO][PID:1668218] Checking for cancel request
[2025-12-22 06:51:14,135][  INFO][PID:1668218] Checking for cancel request
[2025-12-22 06:51:19,136][  INFO][PID:1668218] Checking for cancel request
[2025-12-22 06:51:24,137][  INFO][PID:1668218] Checking for cancel request
[2025-12-22 06:51:29,138][  INFO][PID:1668218] Checking for cancel request
[2025-12-22 06:51:34,139][  INFO][PID:1668218] Checking for cancel request
[2025-12-22 06:51:39,140][  INFO][PID:1668218] Checking for cancel request
[2025-12-22 06:51:44,141][  INFO][PID:1668218] Checking for cancel request
[2025-12-22 06:51:49,142][  INFO][PID:1668218] Checking for cancel request
[2025-12-22 06:51:54,143][  INFO][PID:1668218] Checking for cancel request
[2025-12-22 06:51:59,144][  INFO][PID:1668218] Checking for cancel request
[2025-12-22 06:52:04,145][  INFO][PID:1668218] Checking for cancel request
[2025-12-22 06:52:09,146][  INFO][PID:1668218] Checking for cancel request
[2025-12-22 06:52:14,147][  INFO][PID:1668218] Checking for cancel request
[2025-12-22 06:52:19,148][  INFO][PID:1668218] Checking for cancel request
[2025-12-22 06:52:24,148][  INFO][PID:1668218] Checking for cancel request
[2025-12-22 06:52:29,149][  INFO][PID:1668218] Checking for cancel request
[2025-12-22 06:52:34,150][  INFO][PID:1668218] Checking for cancel request
[2025-12-22 06:52:39,152][  INFO][PID:1668218] Checking for cancel request
[2025-12-22 06:52:44,152][  INFO][PID:1668218] Checking for cancel request
[2025-12-22 06:52:49,153][  INFO][PID:1668218] Checking for cancel request
[2025-12-22 06:52:54,154][  INFO][PID:1668218] Checking for cancel request
[2025-12-22 06:52:59,155][  INFO][PID:1668218] Checking for cancel request
[2025-12-22 06:53:04,156][  INFO][PID:1668218] Checking for cancel request
[2025-12-22 06:53:09,157][  INFO][PID:1668218] Checking for cancel request
[2025-12-22 06:53:14,158][  INFO][PID:1668218] Checking for cancel request
[2025-12-22 06:53:19,159][  INFO][PID:1668218] Checking for cancel request
[2025-12-22 06:53:24,159][  INFO][PID:1668218] Checking for cancel request
[2025-12-22 06:53:29,160][  INFO][PID:1668218] Checking for cancel request
[2025-12-22 06:53:34,161][  INFO][PID:1668218] Checking for cancel request
[2025-12-22 06:53:39,162][  INFO][PID:1668218] Checking for cancel request
[2025-12-22 06:53:44,163][  INFO][PID:1668218] Checking for cancel request
[2025-12-22 06:53:49,164][  INFO][PID:1668218] Checking for cancel request
[2025-12-22 06:53:54,165][  INFO][PID:1668218] Checking for cancel request
[2025-12-22 06:53:59,166][  INFO][PID:1668218] Checking for cancel request
[2025-12-22 06:54:04,167][  INFO][PID:1668218] Checking for cancel request
[2025-12-22 06:54:09,168][  INFO][PID:1668218] Checking for cancel request
[2025-12-22 06:54:14,169][  INFO][PID:1668218] Checking for cancel request
[2025-12-22 06:54:19,170][  INFO][PID:1668218] Checking for cancel request
[2025-12-22 06:54:24,170][  INFO][PID:1668218] Checking for cancel request
[2025-12-22 06:54:29,171][  INFO][PID:1668218] Checking for cancel request
[2025-12-22 06:54:34,172][  INFO][PID:1668218] Checking for cancel request
[2025-12-22 06:54:39,173][  INFO][PID:1668218] Checking for cancel request
[2025-12-22 06:54:44,201][  INFO][PID:1668218] Checking for cancel request
[2025-12-22 06:54:49,202][  INFO][PID:1668218] Checking for cancel request
[2025-12-22 06:54:54,203][  INFO][PID:1668218] Checking for cancel request
[2025-12-22 06:54:59,204][  INFO][PID:1668218] Checking for cancel request
[2025-12-22 06:55:04,294][  INFO][PID:1668218] Checking for cancel request
[2025-12-22 06:55:09,297][  INFO][PID:1668218] Checking for cancel request
[2025-12-22 06:55:14,299][  INFO][PID:1668218] Checking for cancel request
[2025-12-22 06:55:19,300][  INFO][PID:1668218] Checking for cancel request
[2025-12-22 06:55:24,301][  INFO][PID:1668218] Checking for cancel request
[2025-12-22 06:55:29,302][  INFO][PID:1668218] Checking for cancel request
[2025-12-22 06:55:34,305][  INFO][PID:1668218] Checking for cancel request
[2025-12-22 06:55:39,370][  INFO][PID:1668218] Checking for cancel request
[2025-12-22 06:55:44,371][  INFO][PID:1668218] Checking for cancel request
[2025-12-22 06:55:49,372][  INFO][PID:1668218] Checking for cancel request
[2025-12-22 06:55:54,373][  INFO][PID:1668218] Checking for cancel request
[2025-12-22 06:55:59,401][  INFO][PID:1668218] Checking for cancel request
[2025-12-22 06:56:04,403][  INFO][PID:1668218] Checking for cancel request
[2025-12-22 06:56:09,404][  INFO][PID:1668218] Checking for cancel request
[2025-12-22 06:56:14,406][  INFO][PID:1668218] Checking for cancel request
[2025-12-22 06:56:19,407][  INFO][PID:1668218] Checking for cancel request
[2025-12-22 06:56:24,408][  INFO][PID:1668218] Checking for cancel request
[2025-12-22 06:56:29,409][  INFO][PID:1668218] Checking for cancel request
[2025-12-22 06:56:34,410][  INFO][PID:1668218] Checking for cancel request
[2025-12-22 06:56:39,516][  INFO][PID:1668218] Periodic builder liveness probe: alive
[2025-12-22 06:56:39,701][  INFO][PID:1668218] Checking for cancel request
[2025-12-22 06:56:44,701][  INFO][PID:1668218] Checking for cancel request
[2025-12-22 06:56:49,703][  INFO][PID:1668218] Checking for cancel request
[2025-12-22 06:56:54,704][  INFO][PID:1668218] Checking for cancel request
[2025-12-22 06:56:59,736][  INFO][PID:1668218] Checking for cancel request
[2025-12-22 06:57:04,738][  INFO][PID:1668218] Checking for cancel request
[2025-12-22 06:57:09,739][  INFO][PID:1668218] Checking for cancel request
[2025-12-22 06:57:14,740][  INFO][PID:1668218] Checking for cancel request
[2025-12-22 06:57:19,741][  INFO][PID:1668218] Checking for cancel request
[2025-12-22 06:57:24,742][  INFO][PID:1668218] Checking for cancel request
[2025-12-22 06:57:29,743][  INFO][PID:1668218] Checking for cancel request
[2025-12-22 06:57:34,744][  INFO][PID:1668218] Checking for cancel request
[2025-12-22 06:57:39,745][  INFO][PID:1668218] Checking for cancel request
[2025-12-22 06:57:44,746][  INFO][PID:1668218] Checking for cancel request
[2025-12-22 06:57:49,747][  INFO][PID:1668218] Checking for cancel request
[2025-12-22 06:57:54,749][  INFO][PID:1668218] Checking for cancel request
[2025-12-22 06:57:59,749][  INFO][PID:1668218] Checking for cancel request
[2025-12-22 06:58:04,750][  INFO][PID:1668218] Checking for cancel request
[2025-12-22 06:58:09,751][  INFO][PID:1668218] Checking for cancel request
[2025-12-22 06:58:14,752][  INFO][PID:1668218] Checking for cancel request
[2025-12-22 06:58:19,753][  INFO][PID:1668218] Checking for cancel request
[2025-12-22 06:58:24,754][  INFO][PID:1668218] Checking for cancel request
[2025-12-22 06:58:29,755][  INFO][PID:1668218] Checking for cancel request
[2025-12-22 06:58:34,756][  INFO][PID:1668218] Checking for cancel request
[2025-12-22 06:58:39,758][  INFO][PID:1668218] Checking for cancel request
[2025-12-22 06:58:44,774][  INFO][PID:1668218] Checking for cancel request
[2025-12-22 06:58:49,776][  INFO][PID:1668218] Checking for cancel request
[2025-12-22 06:58:54,778][  INFO][PID:1668218] Checking for cancel request
[2025-12-22 06:58:59,779][  INFO][PID:1668218] Checking for cancel request
[2025-12-22 06:59:04,780][  INFO][PID:1668218] Checking for cancel request
[2025-12-22 06:59:09,782][  INFO][PID:1668218] Checking for cancel request
[2025-12-22 06:59:14,826][  INFO][PID:1668218] Checking for cancel request
[2025-12-22 06:59:19,827][  INFO][PID:1668218] Checking for cancel request
[2025-12-22 06:59:24,828][  INFO][PID:1668218] Checking for cancel request
[2025-12-22 06:59:29,830][  INFO][PID:1668218] Checking for cancel request
[2025-12-22 06:59:34,831][  INFO][PID:1668218] Checking for cancel request
[2025-12-22 06:59:39,832][  INFO][PID:1668218] Checking for cancel request
[2025-12-22 06:59:44,832][  INFO][PID:1668218] Checking for cancel request
[2025-12-22 06:59:49,890][  INFO][PID:1668218] Checking for cancel request
[2025-12-22 06:59:54,892][  INFO][PID:1668218] Checking for cancel request
[2025-12-22 06:59:59,921][  INFO][PID:1668218] Checking for cancel request
[2025-12-22 07:00:04,976][  INFO][PID:1668218] Checking for cancel request
[2025-12-22 07:00:09,977][  INFO][PID:1668218] Checking for cancel request
[2025-12-22 07:00:14,978][  INFO][PID:1668218] Checking for cancel request
[2025-12-22 07:00:19,979][  INFO][PID:1668218] Checking for cancel request
[2025-12-22 07:00:24,980][  INFO][PID:1668218] Checking for cancel request
[2025-12-22 07:00:29,981][  INFO][PID:1668218] Checking for cancel request
[2025-12-22 07:00:35,043][  INFO][PID:1668218] Checking for cancel request
[2025-12-22 07:00:40,044][  INFO][PID:1668218] Checking for cancel request
[2025-12-22 07:00:45,046][  INFO][PID:1668218] Checking for cancel request
[2025-12-22 07:00:50,047][  INFO][PID:1668218] Checking for cancel request
[2025-12-22 07:00:55,049][  INFO][PID:1668218] Checking for cancel request
[2025-12-22 07:01:00,051][  INFO][PID:1668218] Checking for cancel request
[2025-12-22 07:01:05,052][  INFO][PID:1668218] Checking for cancel request
[2025-12-22 07:01:10,195][  INFO][PID:1668218] Checking for cancel request
[2025-12-22 07:01:15,394][  INFO][PID:1668218] Checking for cancel request
[2025-12-22 07:01:20,397][  INFO][PID:1668218] Checking for cancel request
[2025-12-22 07:01:25,397][  INFO][PID:1668218] Checking for cancel request
[2025-12-22 07:01:30,419][  INFO][PID:1668218] Checking for cancel request
[2025-12-22 07:01:35,486][  INFO][PID:1668218] Checking for cancel request
[2025-12-22 07:01:40,487][  INFO][PID:1668218] Checking for cancel request
[2025-12-22 07:01:45,488][  INFO][PID:1668218] Checking for cancel request
[2025-12-22 07:01:50,489][  INFO][PID:1668218] Checking for cancel request
[2025-12-22 07:01:55,490][  INFO][PID:1668218] Checking for cancel request
[2025-12-22 07:02:00,491][  INFO][PID:1668218] Checking for cancel request
[2025-12-22 07:02:05,492][  INFO][PID:1668218] Checking for cancel request
[2025-12-22 07:02:10,870][  INFO][PID:1668218] Checking for cancel request
[2025-12-22 07:02:15,871][  INFO][PID:1668218] Checking for cancel request
[2025-12-22 07:02:20,871][  INFO][PID:1668218] Checking for cancel request
[2025-12-22 07:02:25,872][  INFO][PID:1668218] Checking for cancel request
[2025-12-22 07:02:30,873][  INFO][PID:1668218] Checking for cancel request
[2025-12-22 07:02:35,874][  INFO][PID:1668218] Checking for cancel request
[2025-12-22 07:02:40,875][  INFO][PID:1668218] Checking for cancel request
[2025-12-22 07:02:45,876][  INFO][PID:1668218] Checking for cancel request
[2025-12-22 07:02:50,877][  INFO][PID:1668218] Checking for cancel request
[2025-12-22 07:02:55,878][  INFO][PID:1668218] Checking for cancel request
[2025-12-22 07:03:00,879][  INFO][PID:1668218] Checking for cancel request
[2025-12-22 07:03:05,880][  INFO][PID:1668218] Checking for cancel request
[2025-12-22 07:03:10,881][  INFO][PID:1668218] Checking for cancel request
[2025-12-22 07:03:15,882][  INFO][PID:1668218] Checking for cancel request
[2025-12-22 07:03:20,883][  INFO][PID:1668218] Checking for cancel request
[2025-12-22 07:03:25,884][  INFO][PID:1668218] Checking for cancel request
[2025-12-22 07:03:30,885][  INFO][PID:1668218] Checking for cancel request
[2025-12-22 07:03:35,885][  INFO][PID:1668218] Checking for cancel request
[2025-12-22 07:03:40,886][  INFO][PID:1668218] Checking for cancel request
[2025-12-22 07:03:45,887][  INFO][PID:1668218] Checking for cancel request
[2025-12-22 07:03:50,888][  INFO][PID:1668218] Checking for cancel request
[2025-12-22 07:03:55,971][  INFO][PID:1668218] Checking for cancel request
[2025-12-22 07:04:00,972][  INFO][PID:1668218] Checking for cancel request
[2025-12-22 07:04:05,973][  INFO][PID:1668218] Checking for cancel request
[2025-12-22 07:04:10,974][  INFO][PID:1668218] Checking for cancel request
[2025-12-22 07:04:15,975][  INFO][PID:1668218] Checking for cancel request
[2025-12-22 07:04:20,976][  INFO][PID:1668218] Checking for cancel request
[2025-12-22 07:04:25,977][  INFO][PID:1668218] Checking for cancel request
[2025-12-22 07:04:31,011][  INFO][PID:1668218] Checking for cancel request
[2025-12-22 07:04:36,012][  INFO][PID:1668218] Checking for cancel request
[2025-12-22 07:04:41,065][  INFO][PID:1668218] Checking for cancel request
[2025-12-22 07:04:46,066][  INFO][PID:1668218] Checking for cancel request
[2025-12-22 07:04:51,067][  INFO][PID:1668218] Checking for cancel request
[2025-12-22 07:04:56,068][  INFO][PID:1668218] Checking for cancel request
[2025-12-22 07:05:01,069][  INFO][PID:1668218] Checking for cancel request
[2025-12-22 07:05:06,070][  INFO][PID:1668218] Checking for cancel request
[2025-12-22 07:05:11,071][  INFO][PID:1668218] Checking for cancel request
[2025-12-22 07:05:16,072][  INFO][PID:1668218] Checking for cancel request
[2025-12-22 07:05:21,072][  INFO][PID:1668218] Checking for cancel request
[2025-12-22 07:05:26,073][  INFO][PID:1668218] Checking for cancel request
[2025-12-22 07:05:31,074][  INFO][PID:1668218] Checking for cancel request
[2025-12-22 07:05:36,075][  INFO][PID:1668218] Checking for cancel request
[2025-12-22 07:05:41,076][  INFO][PID:1668218] Checking for cancel request
[2025-12-22 07:05:46,192][  INFO][PID:1668218] Checking for cancel request
[2025-12-22 07:05:51,194][  INFO][PID:1668218] Checking for cancel request
[2025-12-22 07:05:56,195][  INFO][PID:1668218] Checking for cancel request
[2025-12-22 07:06:01,196][  INFO][PID:1668218] Checking for cancel request
[2025-12-22 07:06:06,197][  INFO][PID:1668218] Checking for cancel request
[2025-12-22 07:06:11,199][  INFO][PID:1668218] Checking for cancel request
[2025-12-22 07:06:16,200][  INFO][PID:1668218] Checking for cancel request
[2025-12-22 07:06:21,201][  INFO][PID:1668218] Checking for cancel request
[2025-12-22 07:06:26,202][  INFO][PID:1668218] Checking for cancel request
[2025-12-22 07:06:31,203][  INFO][PID:1668218] Checking for cancel request
[2025-12-22 07:06:36,204][  INFO][PID:1668218] Checking for cancel request
[2025-12-22 07:06:37,376][  INFO][PID:1668218] Downloading results from builder
[2025-12-22 07:06:37,376][  INFO][PID:1668218] rsyncing of mockbuilder@100.30.224.187:/var/lib/copr-rpmbuild/results/ to /var/lib/copr/public_html/results/petersen/lean4/fedora-43-x86_64/09940560-lean4 started
[2025-12-22 07:06:37,377][  INFO][PID:1668218] Popen command started: /usr/bin/rsync -rltDvH --chmod=D755,F644 -e 'ssh -F /home/copr/.ssh/config' mockbuilder@100.30.224.187:/var/lib/copr-rpmbuild/results/ /var/lib/copr/public_html/results/petersen/lean4/fedora-43-x86_64/09940560-lean4/ &> /var/lib/copr/public_html/results/petersen/lean4/fedora-43-x86_64/09940560-lean4/build-09940560.rsync.log
[2025-12-22 07:06:37,964][  INFO][PID:1668218] rsyncing finished.
[2025-12-22 07:06:37,964][  INFO][PID:1668218] Releasing VM back to pool
[2025-12-22 07:06:37,980][  INFO][PID:1668218] Searching for 'success' file in resultdir
[2025-12-22 07:06:37,983][ ERROR][PID:1668218] Build failed: Backend process error: No success file => build failure
[2025-12-22 07:06:37,983][  INFO][PID:1668218] Finished build: id=9940560 failed=True timeout=18000 destdir=/var/lib/copr/public_html/results/petersen/lean4 chroot=fedora-43-x86_64 
[2025-12-22 07:06:37,985][ ERROR][PID:1668218] Backend process error: No success file => build failure
[2025-12-22 07:06:37,985][  INFO][PID:1668218] Worker failed build, took 1805.0564224720001
[2025-12-22 07:06:37,986][  INFO][PID:1668218] 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": 1766387197.9857025,
            "started_on": 1766385392.92928,
            "submitted_on": null,
            "status": 0,
            "chroot": "fedora-43-x86_64",
            "arch": "x86_64",
            "buildroot_pkgs": [],
            "task_id": "9940560-fedora-43-x86_64",
            "build_id": 9940560,
            "package_name": "lean4",
            "package_version": "4.26.0-1",
            "git_repo": "https://copr-dist-git.fedorainfracloud.org/git/petersen/lean4/lean4",
            "git_hash": "a863219ecd62a9a61f20be2d417c916ba37eaeea",
            "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-43-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": "09940560-lean4",
            "built_packages": "",
            "id": 9940560,
            "mockchain_macros": {
                "copr_username": "petersen",
                "copr_projectname": "lean4",
                "vendor": "Fedora Project COPR (petersen/lean4)"
            }
        }
    ]
}
[2025-12-22 07:06:38,033][  INFO][PID:1668218] Sending fedora-messaging bus message in build.end
[2025-12-22 07:06:38,059][  INFO][PID:1668218] Compressing /var/lib/copr/public_html/results/petersen/lean4/fedora-43-x86_64/09940560-lean4/builder-live.log by gzip
[2025-12-22 07:06:38,061][  INFO][PID:1668218] Running command 'gzip /var/lib/copr/public_html/results/petersen/lean4/fedora-43-x86_64/09940560-lean4/builder-live.log' as PID 1771277
[2025-12-22 07:06:38,131][  INFO][PID:1668218] Finished after 0 seconds with exit code 0 (gzip /var/lib/copr/public_html/results/petersen/lean4/fedora-43-x86_64/09940560-lean4/builder-live.log)
[2025-12-22 07:06:38,131][  INFO][PID:1668218] Compressing /var/lib/copr/public_html/results/petersen/lean4/fedora-43-x86_64/09940560-lean4/backend.log by gzip
[2025-12-22 07:06:38,132][  INFO][PID:1668218] Running command 'gzip /var/lib/copr/public_html/results/petersen/lean4/fedora-43-x86_64/09940560-lean4/backend.log' as PID 1771280