[2026-09-10 07:53:19,732][  INFO][PID:3538214] Marking build as starting
[2026-09-10 07:53:19,768][  INFO][PID:3538214] Checking for cancel request
[2026-09-10 07:53:19,768][  INFO][PID:3538214] VM allocation process starts
[2026-09-10 07:53:19,774][  INFO][PID:3538214] Trying to allocate VM: ResallocHost, ticket_id=4941236, requested_tags=['arch_noarch', 'copr_builder']
[2026-09-10 07:53:22,783][  INFO][PID:3538214] Allocated host ResallocHost, ticket_id=4941236, hostname=44.202.121.69, name=aws_aarch64_reserved_prod_33297791_20260910_073626, requested_tags=['arch_noarch', 'copr_builder']
[2026-09-10 07:53:22,783][  INFO][PID:3538214] Allocating ssh connection to builder
[2026-09-10 07:53:22,784][  INFO][PID:3538214] Checking that builder machine is OK
[2026-09-10 07:53:23,116][  INFO][PID:3538214] Installed copr-rpmbuild version: 1.9
[2026-09-10 07:53:23,117][  INFO][PID:3538214] Running remote command: copr-builder-ready srpm-builds
[2026-09-10 07:53:23,293][  INFO][PID:3538214] Red Hat subscription not needed for srpm-builds
Builder is ready to be used

[2026-09-10 07:53:23,294][  INFO][PID:3538214] Filling build.info file with builder info
[2026-09-10 07:53:23,294][  INFO][PID:3538214] Checking for cancel request
[2026-09-10 07:53:23,294][  INFO][PID:3538214] 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": 1789026803.2946563,
            "submitted_on": null,
            "status": 3,
            "chroot": "srpm-builds",
            "arch": null,
            "buildroot_pkgs": null,
            "task_id": "10968455",
            "build_id": 10968455,
            "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/tmplnynt5xb/lean4-4.33.1-1.src.rpm\", \"pkg\": \"lean4-4.33.1-1.src.rpm\", \"tmp\": \"tmplnynt5xb\"}",
            "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": [
                "fedora-45"
            ],
            "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": "10968455",
            "built_packages": "",
            "tags": [
                "arch_noarch"
            ],
            "rpmeta_prediction": null,
            "id": 10968455,
            "mockchain_macros": {
                "copr_username": "petersen",
                "copr_projectname": "lean4",
                "vendor": "Fedora Project COPR (petersen/lean4)"
            }
        }
    ]
}
[2026-09-10 07:53:23,324][  INFO][PID:3538214] Sending fedora-messaging bus message in build.start
[2026-09-10 07:53:23,665][  INFO][PID:3538214] Sending fedora-messaging bus message in chroot.start
[2026-09-10 07:53:23,684][  INFO][PID:3538214] Starting remote build: copr-rpmbuild --verbose --drop-resultdir --srpm --task-url https://copr.fedorainfracloud.org/backend/get-srpm-build-task/10968455 --detached
[2026-09-10 07:53:24,179][  INFO][PID:3538214] The copr-rpmbuild seems started, per:
stdout: 
stderr: Warning: Permanently added '44.202.121.69' (ED25519) to the list of known hosts.


[2026-09-10 07:53:24,180][  INFO][PID:3538214] Downloading the builder-live.log file, attempt 1
[2026-09-10 07:53:24,181][  INFO][PID:3538214] Popen command started: ssh -F /home/copr/.ssh/config mockbuilder@44.202.121.69 copr-rpmbuild-log
[2026-09-10 07:53:26,899][  INFO][PID:3538214] Downloading results from builder
[2026-09-10 07:53:26,900][  INFO][PID:3538214] rsyncing of mockbuilder@44.202.121.69:/var/lib/copr-rpmbuild/results/ to /var/lib/copr/public_html/results/petersen/lean4/srpm-builds/10968455 started
[2026-09-10 07:53:26,900][  INFO][PID:3538214] Popen command started: /usr/bin/rsync -rltDvH --chmod=D755,F644 -e 'ssh -F /home/copr/.ssh/config' mockbuilder@44.202.121.69:/var/lib/copr-rpmbuild/results/ /var/lib/copr/public_html/results/petersen/lean4/srpm-builds/10968455/ &> /var/lib/copr/public_html/results/petersen/lean4/srpm-builds/10968455/build-10968455.rsync.log
[2026-09-10 07:53:27,277][  INFO][PID:3538214] rsyncing finished.
[2026-09-10 07:53:27,278][  INFO][PID:3538214] VM Release request
[2026-09-10 07:53:27,284][  INFO][PID:3538214] Searching for 'success' file in resultdir
[2026-09-10 07:53:27,284][  INFO][PID:3538214] Getting build details
[2026-09-10 07:53:27,285][  INFO][PID:3538214] Retrieving SRPM info from /var/lib/copr/public_html/results/petersen/lean4/srpm-builds/10968455
[2026-09-10 07:53:27,285][  INFO][PID:3538214] SRPM URL: https://download.copr.fedorainfracloud.org/results/petersen/lean4/srpm-builds/10968455/lean4-4.33.1-1.src.rpm
[2026-09-10 07:53:27,285][  INFO][PID:3538214] build details: {'srpm_url': 'https://download.copr.fedorainfracloud.org/results/petersen/lean4/srpm-builds/10968455/lean4-4.33.1-1.src.rpm', 'pkg_name': 'lean4', 'pkg_version': '4.33.1-1'}
[2026-09-10 07:53:27,285][  INFO][PID:3538214] Finished build: id=10968455 failed=False timeout=108000 destdir=/var/lib/copr/public_html/results/petersen/lean4 chroot=srpm-builds 
[2026-09-10 07:53:27,286][  INFO][PID:3538214] Worker succeeded build, took 3.9914612770080566
[2026-09-10 07:53:27,286][  INFO][PID:3538214] 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": 1789026807.2861176,
            "started_on": 1789026803.2946563,
            "submitted_on": null,
            "status": 1,
            "chroot": "srpm-builds",
            "arch": null,
            "buildroot_pkgs": null,
            "task_id": "10968455",
            "build_id": 10968455,
            "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/tmplnynt5xb/lean4-4.33.1-1.src.rpm\", \"pkg\": \"lean4-4.33.1-1.src.rpm\", \"tmp\": \"tmplnynt5xb\"}",
            "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/10968455/lean4-4.33.1-1.src.rpm",
            "uses_devel_repo": null,
            "sandbox": "petersen/lean4--petersen",
            "results": {
                "architecture_specific_tags": {
                    "fedora-45": {
                        "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": [
                "fedora-45"
            ],
            "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": "10968455",
            "built_packages": "",
            "tags": [
                "arch_noarch"
            ],
            "rpmeta_prediction": null,
            "pkg_version": "4.33.1-1",
            "id": 10968455,
            "mockchain_macros": {
                "copr_username": "petersen",
                "copr_projectname": "lean4",
                "vendor": "Fedora Project COPR (petersen/lean4)"
            }
        }
    ]
}
[2026-09-10 07:53:27,341][  INFO][PID:3538214] Sending fedora-messaging bus message in build.end
[2026-09-10 07:53:27,359][  INFO][PID:3538214] Compressing /var/lib/copr/public_html/results/petersen/lean4/srpm-builds/10968455/builder-live.log by gzip
[2026-09-10 07:53:27,360][  INFO][PID:3538214] Running command 'gzip /var/lib/copr/public_html/results/petersen/lean4/srpm-builds/10968455/builder-live.log' as PID 3539827
[2026-09-10 07:53:27,361][  INFO][PID:3538214] Finished after 0 seconds with exit code 0 (gzip /var/lib/copr/public_html/results/petersen/lean4/srpm-builds/10968455/builder-live.log)
[2026-09-10 07:53:27,361][  INFO][PID:3538214] Compressing /var/lib/copr/public_html/results/petersen/lean4/srpm-builds/10968455/backend.log by gzip
[2026-09-10 07:53:27,362][  INFO][PID:3538214] Running command 'gzip /var/lib/copr/public_html/results/petersen/lean4/srpm-builds/10968455/backend.log' as PID 3539829