[2026-09-10 14:37:12,853][  INFO][PID:1239904] Marking build as starting
[2026-09-10 14:37:12,977][  INFO][PID:1239904] Checking for cancel request
[2026-09-10 14:37:12,978][  INFO][PID:1239904] VM allocation process starts
[2026-09-10 14:37:12,984][  INFO][PID:1239904] Trying to allocate VM: ResallocHost, ticket_id=4951112, requested_tags=['arch_noarch', 'copr_builder']
[2026-09-10 14:37:16,025][  INFO][PID:1239904] Allocated host ResallocHost, ticket_id=4951112, hostname=2620:52:6:1161:dead:beef:cafe:c128, name=vmhost_x86_01_prod_33565967_20260910_143509, requested_tags=['arch_noarch', 'copr_builder']
[2026-09-10 14:37:16,025][  INFO][PID:1239904] Allocating ssh connection to builder
[2026-09-10 14:37:16,026][  INFO][PID:1239904] Checking that builder machine is OK
[2026-09-10 14:37:16,555][  INFO][PID:1239904] Installed copr-rpmbuild version: 1.9
[2026-09-10 14:37:16,556][  INFO][PID:1239904] Running remote command: copr-builder-ready srpm-builds
[2026-09-10 14:37:16,853][  INFO][PID:1239904] Red Hat subscription not needed for srpm-builds
Builder is ready to be used

[2026-09-10 14:37:16,854][  INFO][PID:1239904] Filling build.info file with builder info
[2026-09-10 14:37:16,855][  INFO][PID:1239904] Checking for cancel request
[2026-09-10 14:37:16,856][  INFO][PID:1239904] Sending build state back to frontend: {
    "builds": [
        {
            "timeout": 108000,
            "frontend_base_url": "https://copr.fedorainfracloud.org",
            "memory_reqs": null,
            "enable_net": true,
            "project_owner": "petersen",
            "project_name": "lean4",
            "project_dirname": "lean4",
            "submitter": "petersen",
            "ended_on": null,
            "started_on": 1789051036.8562152,
            "submitted_on": null,
            "status": 3,
            "chroot": "srpm-builds",
            "arch": null,
            "buildroot_pkgs": null,
            "task_id": "10972058",
            "build_id": 10972058,
            "package_name": null,
            "package_version": null,
            "git_repo": null,
            "git_hash": null,
            "git_branch": null,
            "source_type": 2,
            "source_json": "{\"url\": \"https://copr.fedorainfracloud.org/tmp/tmpdf01l365/lean4-4.33.1-1.src.rpm\", \"pkg\": \"lean4-4.33.1-1.src.rpm\", \"tmp\": \"tmpdf01l365\"}",
            "pkg_name": null,
            "pkg_main_version": null,
            "pkg_epoch": null,
            "pkg_release": null,
            "srpm_url": null,
            "uses_devel_repo": null,
            "sandbox": "petersen/lean4--petersen",
            "results": null,
            "appstream": false,
            "allow_user_ssh": null,
            "ssh_public_keys": null,
            "storage": null,
            "repos": [],
            "background": false,
            "distributions_in_build": [
                "epel-10"
            ],
            "distributions_in_project": [
                "epel-10",
                "epel-9",
                "fedora-43",
                "fedora-44",
                "fedora-45",
                "fedora-rawhide"
            ],
            "destdir": "/var/lib/copr/public_html/results/petersen/lean4",
            "results_repo_url": "https://download.copr.fedorainfracloud.org/results/petersen/lean4",
            "result_dir": "10972058",
            "built_packages": "",
            "tags": [
                "arch_noarch"
            ],
            "rpmeta_prediction": null,
            "id": 10972058,
            "mockchain_macros": {
                "copr_username": "petersen",
                "copr_projectname": "lean4",
                "vendor": "Fedora Project COPR (petersen/lean4)"
            }
        }
    ]
}
[2026-09-10 14:37:16,883][  INFO][PID:1239904] Sending fedora-messaging bus message in build.start
[2026-09-10 14:37:17,292][  INFO][PID:1239904] Sending fedora-messaging bus message in chroot.start
[2026-09-10 14:37:17,885][  INFO][PID:1239904] Starting remote build: copr-rpmbuild --verbose --drop-resultdir --srpm --task-url https://copr.fedorainfracloud.org/backend/get-srpm-build-task/10972058 --detached
[2026-09-10 14:37:18,514][  INFO][PID:1239904] The copr-rpmbuild seems started, per:
stdout: 
stderr: Warning: Permanently added '2620:52:6:1161:dead:beef:cafe:c128' (ED25519) to the list of known hosts.


[2026-09-10 14:37:18,515][  INFO][PID:1239904] Downloading the builder-live.log file, attempt 1
[2026-09-10 14:37:18,516][  INFO][PID:1239904] Popen command started: ssh -F /home/copr/.ssh/config mockbuilder@2620:52:6:1161:dead:beef:cafe:c128 copr-rpmbuild-log
[2026-09-10 14:37:21,091][  INFO][PID:1239904] Downloading results from builder
[2026-09-10 14:37:21,092][  INFO][PID:1239904] rsyncing of mockbuilder@[2620:52:6:1161:dead:beef:cafe:c128]:/var/lib/copr-rpmbuild/results/ to /var/lib/copr/public_html/results/petersen/lean4/srpm-builds/10972058 started
[2026-09-10 14:37:21,093][  INFO][PID:1239904] Popen command started: /usr/bin/rsync -rltDvH --chmod=D755,F644 -e 'ssh -F /home/copr/.ssh/config' mockbuilder@[2620:52:6:1161:dead:beef:cafe:c128]:/var/lib/copr-rpmbuild/results/ /var/lib/copr/public_html/results/petersen/lean4/srpm-builds/10972058/ &> /var/lib/copr/public_html/results/petersen/lean4/srpm-builds/10972058/build-10972058.rsync.log
[2026-09-10 14:37:22,310][  INFO][PID:1239904] rsyncing finished.
[2026-09-10 14:37:22,310][  INFO][PID:1239904] VM Release request
[2026-09-10 14:37:22,316][  INFO][PID:1239904] Searching for 'success' file in resultdir
[2026-09-10 14:37:22,316][  INFO][PID:1239904] Getting build details
[2026-09-10 14:37:22,317][  INFO][PID:1239904] Retrieving SRPM info from /var/lib/copr/public_html/results/petersen/lean4/srpm-builds/10972058
[2026-09-10 14:37:22,317][  INFO][PID:1239904] SRPM URL: https://download.copr.fedorainfracloud.org/results/petersen/lean4/srpm-builds/10972058/lean4-4.33.1-1.src.rpm
[2026-09-10 14:37:22,317][  INFO][PID:1239904] build details: {'srpm_url': 'https://download.copr.fedorainfracloud.org/results/petersen/lean4/srpm-builds/10972058/lean4-4.33.1-1.src.rpm', 'pkg_name': 'lean4', 'pkg_version': '4.33.1-1'}
[2026-09-10 14:37:22,318][  INFO][PID:1239904] Finished build: id=10972058 failed=False timeout=108000 destdir=/var/lib/copr/public_html/results/petersen/lean4 chroot=srpm-builds 
[2026-09-10 14:37:22,318][  INFO][PID:1239904] Worker succeeded build, took 5.462263345718384
[2026-09-10 14:37:22,318][  INFO][PID:1239904] Sending build state back to frontend: {
    "builds": [
        {
            "timeout": 108000,
            "frontend_base_url": "https://copr.fedorainfracloud.org",
            "memory_reqs": null,
            "enable_net": true,
            "project_owner": "petersen",
            "project_name": "lean4",
            "project_dirname": "lean4",
            "submitter": "petersen",
            "ended_on": 1789051042.3184786,
            "started_on": 1789051036.8562152,
            "submitted_on": null,
            "status": 1,
            "chroot": "srpm-builds",
            "arch": null,
            "buildroot_pkgs": null,
            "task_id": "10972058",
            "build_id": 10972058,
            "package_name": null,
            "package_version": null,
            "git_repo": null,
            "git_hash": null,
            "git_branch": null,
            "source_type": 2,
            "source_json": "{\"url\": \"https://copr.fedorainfracloud.org/tmp/tmpdf01l365/lean4-4.33.1-1.src.rpm\", \"pkg\": \"lean4-4.33.1-1.src.rpm\", \"tmp\": \"tmpdf01l365\"}",
            "pkg_name": "lean4",
            "pkg_main_version": null,
            "pkg_epoch": null,
            "pkg_release": null,
            "srpm_url": "https://download.copr.fedorainfracloud.org/results/petersen/lean4/srpm-builds/10972058/lean4-4.33.1-1.src.rpm",
            "uses_devel_repo": null,
            "sandbox": "petersen/lean4--petersen",
            "results": {
                "architecture_specific_tags": {
                    "epel-10": {
                        "excludearch": [
                            "athlon",
                            "geode",
                            "i386",
                            "i486",
                            "i586",
                            "i686",
                            "pentium3",
                            "pentium4",
                            "s390x"
                        ]
                    }
                },
                "name": "lean4",
                "epoch": null,
                "version": "4.33.1",
                "release": "1"
            },
            "appstream": false,
            "allow_user_ssh": null,
            "ssh_public_keys": null,
            "storage": null,
            "repos": [],
            "background": false,
            "distributions_in_build": [
                "epel-10"
            ],
            "distributions_in_project": [
                "epel-10",
                "epel-9",
                "fedora-43",
                "fedora-44",
                "fedora-45",
                "fedora-rawhide"
            ],
            "destdir": "/var/lib/copr/public_html/results/petersen/lean4",
            "results_repo_url": "https://download.copr.fedorainfracloud.org/results/petersen/lean4",
            "result_dir": "10972058",
            "built_packages": "",
            "tags": [
                "arch_noarch"
            ],
            "rpmeta_prediction": null,
            "pkg_version": "4.33.1-1",
            "id": 10972058,
            "mockchain_macros": {
                "copr_username": "petersen",
                "copr_projectname": "lean4",
                "vendor": "Fedora Project COPR (petersen/lean4)"
            }
        }
    ]
}
[2026-09-10 14:37:22,356][  INFO][PID:1239904] Sending fedora-messaging bus message in build.end
[2026-09-10 14:37:22,377][  INFO][PID:1239904] Compressing /var/lib/copr/public_html/results/petersen/lean4/srpm-builds/10972058/builder-live.log by gzip
[2026-09-10 14:37:22,378][  INFO][PID:1239904] Running command 'gzip /var/lib/copr/public_html/results/petersen/lean4/srpm-builds/10972058/builder-live.log' as PID 1242304
[2026-09-10 14:37:22,379][  INFO][PID:1239904] Finished after 0 seconds with exit code 0 (gzip /var/lib/copr/public_html/results/petersen/lean4/srpm-builds/10972058/builder-live.log)
[2026-09-10 14:37:22,379][  INFO][PID:1239904] Compressing /var/lib/copr/public_html/results/petersen/lean4/srpm-builds/10972058/backend.log by gzip
[2026-09-10 14:37:22,379][  INFO][PID:1239904] Running command 'gzip /var/lib/copr/public_html/results/petersen/lean4/srpm-builds/10972058/backend.log' as PID 1242305