[2024-11-22 14:46:45,672][  INFO][PID:2563937] Marking build as starting
[2024-11-22 14:46:45,743][  INFO][PID:2563937] Trying to allocate VM
[2024-11-22 14:46:48,903][  INFO][PID:2563937] Allocated host ResallocHost, ticket_id=6020886, hostname=2620:52:3:1:dead:beef:cafe:c290
[2024-11-22 14:46:48,905][  INFO][PID:2563937] Allocating ssh connection to builder
[2024-11-22 14:46:48,908][  INFO][PID:2563937] Checking that builder machine is OK
[2024-11-22 14:46:49,746][  INFO][PID:2563937] Running remote command: copr-builder-ready srpm-builds
[2024-11-22 14:46:50,392][  INFO][PID:2563937] Red Hat subscription not needed for srpm-builds
Builder is ready to be used

[2024-11-22 14:46:50,399][  INFO][PID:2563937] Filling build.info file with builder info
[2024-11-22 14:46:50,401][  INFO][PID:2563937] 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": 1732286810.4015396,
            "submitted_on": null,
            "status": 3,
            "chroot": "srpm-builds",
            "arch": null,
            "buildroot_pkgs": null,
            "task_id": "8301866",
            "build_id": 8301866,
            "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/tmpf37b4daq/lean4-4.13.0-2.src.rpm\", \"pkg\": \"lean4-4.13.0-2.src.rpm\", \"tmp\": \"tmpf37b4daq\"}",
            "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,
            "background": false,
            "repos": [],
            "destdir": "/var/lib/copr/public_html/results/petersen/lean4",
            "results_repo_url": "https://download.copr.fedorainfracloud.org/results/petersen/lean4",
            "result_dir": "08301866",
            "built_packages": "",
            "tags": [
                "arch_noarch"
            ],
            "id": 8301866,
            "mockchain_macros": {
                "copr_username": "petersen",
                "copr_projectname": "lean4",
                "vendor": "Fedora Project COPR (petersen/lean4)"
            }
        }
    ]
}
[2024-11-22 14:46:50,487][  INFO][PID:2563937] Sending fedora-messaging bus message in build.start
[2024-11-22 14:46:52,008][  INFO][PID:2563937] Sending fedora-messaging bus message in chroot.start
[2024-11-22 14:46:52,076][  INFO][PID:2563937] Starting remote build: copr-rpmbuild --verbose --drop-resultdir --srpm --task-url https://copr.fedorainfracloud.org/backend/get-srpm-build-task/8301866 --detached
[2024-11-22 14:46:53,073][  INFO][PID:2563937] Downloading the builder-live.log file, attempt 1
[2024-11-22 14:46:53,075][  INFO][PID:2563937] Popen command started: ssh -F /home/copr/.ssh/config mockbuilder@2620:52:3:1:dead:beef:cafe:c290 copr-rpmbuild-log
[2024-11-22 14:46:57,103][  INFO][PID:2563937] Downloading results from builder
[2024-11-22 14:46:57,104][  INFO][PID:2563937] rsyncing of mockbuilder@[2620:52:3:1:dead:beef:cafe:c290]:/var/lib/copr-rpmbuild/results/ to /var/lib/copr/public_html/results/petersen/lean4/srpm-builds/08301866 started
[2024-11-22 14:46:57,106][  INFO][PID:2563937] Popen command started: /usr/bin/rsync -rltDvH --chmod=D755,F644 -e 'ssh -F /home/copr/.ssh/config' mockbuilder@[2620:52:3:1:dead:beef:cafe:c290]:/var/lib/copr-rpmbuild/results/ /var/lib/copr/public_html/results/petersen/lean4/srpm-builds/08301866/ &> /var/lib/copr/public_html/results/petersen/lean4/srpm-builds/08301866/build-08301866.rsync.log
[2024-11-22 14:46:58,186][  INFO][PID:2563937] rsyncing finished.
[2024-11-22 14:46:58,193][  INFO][PID:2563937] Releasing VM back to pool
[2024-11-22 14:46:58,218][  INFO][PID:2563937] Searching for 'success' file in resultdir
[2024-11-22 14:46:58,221][  INFO][PID:2563937] Getting build details
[2024-11-22 14:46:58,222][  INFO][PID:2563937] Retrieving SRPM info from /var/lib/copr/public_html/results/petersen/lean4/srpm-builds/08301866
[2024-11-22 14:46:58,224][  INFO][PID:2563937] SRPM URL: https://download.copr.fedorainfracloud.org/results/petersen/lean4/srpm-builds/08301866/lean4-4.13.0-2.src.rpm
[2024-11-22 14:46:58,225][  INFO][PID:2563937] build details: {'srpm_url': 'https://download.copr.fedorainfracloud.org/results/petersen/lean4/srpm-builds/08301866/lean4-4.13.0-2.src.rpm', 'pkg_name': 'lean4', 'pkg_version': '4.13.0-2'}
[2024-11-22 14:46:58,226][  INFO][PID:2563937] Finished build: id=8301866 failed=False timeout=108000 destdir=/var/lib/copr/public_html/results/petersen/lean4 chroot=srpm-builds 
[2024-11-22 14:46:58,228][  INFO][PID:2563937] Worker succeeded build, took 7.827306509017944
[2024-11-22 14:46:58,230][  INFO][PID:2563937] 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": 1732286818.228846,
            "started_on": 1732286810.4015396,
            "submitted_on": null,
            "status": 1,
            "chroot": "srpm-builds",
            "arch": null,
            "buildroot_pkgs": null,
            "task_id": "8301866",
            "build_id": 8301866,
            "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/tmpf37b4daq/lean4-4.13.0-2.src.rpm\", \"pkg\": \"lean4-4.13.0-2.src.rpm\", \"tmp\": \"tmpf37b4daq\"}",
            "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/08301866/lean4-4.13.0-2.src.rpm",
            "uses_devel_repo": null,
            "sandbox": "petersen/lean4--petersen",
            "results": {
                "name": "lean4",
                "epoch": null,
                "version": "4.13.0",
                "release": "2",
                "exclusivearch": [],
                "excludearch": [
                    "s390x",
                    "i386",
                    "i486",
                    "i586",
                    "i686",
                    "pentium3",
                    "pentium4",
                    "athlon",
                    "geode"
                ]
            },
            "appstream": false,
            "allow_user_ssh": null,
            "ssh_public_keys": null,
            "storage": null,
            "background": false,
            "repos": [],
            "destdir": "/var/lib/copr/public_html/results/petersen/lean4",
            "results_repo_url": "https://download.copr.fedorainfracloud.org/results/petersen/lean4",
            "result_dir": "08301866",
            "built_packages": "",
            "tags": [
                "arch_noarch"
            ],
            "pkg_version": "4.13.0-2",
            "id": 8301866,
            "mockchain_macros": {
                "copr_username": "petersen",
                "copr_projectname": "lean4",
                "vendor": "Fedora Project COPR (petersen/lean4)"
            }
        }
    ]
}
[2024-11-22 14:46:58,356][  INFO][PID:2563937] Sending fedora-messaging bus message in build.end
[2024-11-22 14:46:58,381][  INFO][PID:2563937] Compressing /var/lib/copr/public_html/results/petersen/lean4/srpm-builds/08301866/builder-live.log by gzip
[2024-11-22 14:46:58,383][  INFO][PID:2563937] Running command 'gzip /var/lib/copr/public_html/results/petersen/lean4/srpm-builds/08301866/builder-live.log' as PID 2565818
[2024-11-22 14:46:58,385][  INFO][PID:2563937] Finished after 0 seconds with exit code 0 (gzip /var/lib/copr/public_html/results/petersen/lean4/srpm-builds/08301866/builder-live.log)
[2024-11-22 14:46:58,386][  INFO][PID:2563937] Compressing /var/lib/copr/public_html/results/petersen/lean4/srpm-builds/08301866/backend.log by gzip
[2024-11-22 14:46:58,388][  INFO][PID:2563937] Running command 'gzip /var/lib/copr/public_html/results/petersen/lean4/srpm-builds/08301866/backend.log' as PID 2565819