[2025-03-06 04:43:19,838][ INFO][PID:3177601] Marking build as starting
[2025-03-06 04:43:20,066][ INFO][PID:3177601] Trying to allocate VM
[2025-03-06 04:43:23,092][ INFO][PID:3177601] Allocated host ResallocHost, ticket_id=1665602, hostname=2620:52:3:1:dead:beef:cafe:c289, name=copr_p09_01_prod_01711704_20250306_022315
[2025-03-06 04:43:23,093][ INFO][PID:3177601] Allocating ssh connection to builder
[2025-03-06 04:43:23,093][ INFO][PID:3177601] Checking that builder machine is OK
[2025-03-06 04:43:23,862][ INFO][PID:3177601] Running remote command: copr-builder-ready epel-10-ppc64le
[2025-03-06 04:43:24,279][ INFO][PID:3177601] Checking Red Hat subscription (attempt #1)
Red Hat subscription active
Builder is ready to be used
[2025-03-06 04:43:24,280][ INFO][PID:3177601] Filling build.info file with builder info
[2025-03-06 04:43:24,282][ INFO][PID:3177601] 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": 1741236204.2817538,
"submitted_on": null,
"status": 3,
"chroot": "epel-10-ppc64le",
"arch": "ppc64le",
"buildroot_pkgs": [],
"task_id": "8732037-epel-10-ppc64le",
"build_id": 8732037,
"package_name": "lean4",
"package_version": "4.17.0-1",
"git_repo": "https://copr-dist-git.fedorainfracloud.org/git/petersen/lean4/lean4",
"git_hash": "f9262a0f3118735c20a0201e56023d87b0ff635b",
"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": null,
"background": false,
"fedora_review": false,
"isolation": "default",
"repo_priority": null,
"repos": [
{
"baseurl": "https://download.copr.fedorainfracloud.org/results/petersen/lean4/epel-10-ppc64le/",
"id": "copr_base",
"name": "Copr repository",
"priority": null
}
],
"tags": [
"arch_ppc64le",
"arch_power9"
],
"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": "08732037-lean4",
"built_packages": "",
"id": 8732037,
"mockchain_macros": {
"copr_username": "petersen",
"copr_projectname": "lean4",
"vendor": "Fedora Project COPR (petersen/lean4)"
}
}
]
}
[2025-03-06 04:43:24,319][ INFO][PID:3177601] Sending fedora-messaging bus message in build.start
[2025-03-06 04:43:25,941][ INFO][PID:3177601] Sending fedora-messaging bus message in chroot.start
[2025-03-06 04:43:26,061][ INFO][PID:3177601] Starting remote build: copr-rpmbuild --verbose --drop-resultdir --task-url https://copr.fedorainfracloud.org/backend/get-build-task/8732037-epel-10-ppc64le --chroot epel-10-ppc64le --detached
[2025-03-06 04:43:26,750][ INFO][PID:3177601] Downloading the builder-live.log file, attempt 1
[2025-03-06 04:43:26,752][ INFO][PID:3177601] Popen command started: ssh -F /home/copr/.ssh/config mockbuilder@2620:52:3:1:dead:beef:cafe:c289 copr-rpmbuild-log
[2025-03-06 04:43:31,755][ INFO][PID:3177601] Periodic builder liveness probe: alive
[2025-03-06 04:53:31,827][ INFO][PID:3177601] Periodic builder liveness probe: alive
[2025-03-06 05:03:31,936][ INFO][PID:3177601] Periodic builder liveness probe: alive
[2025-03-06 05:13:32,090][ INFO][PID:3177601] Periodic builder liveness probe: alive
[2025-03-06 05:23:32,173][ INFO][PID:3177601] Periodic builder liveness probe: alive
[2025-03-06 05:33:32,262][ INFO][PID:3177601] Periodic builder liveness probe: alive
[2025-03-06 05:43:32,353][ INFO][PID:3177601] Periodic builder liveness probe: alive
[2025-03-06 05:53:32,426][ INFO][PID:3177601] Periodic builder liveness probe: alive
[2025-03-06 05:53:41,468][ INFO][PID:3177601] Downloading results from builder
[2025-03-06 05:53:41,468][ INFO][PID:3177601] rsyncing of mockbuilder@[2620:52:3:1:dead:beef:cafe:c289]:/var/lib/copr-rpmbuild/results/ to /var/lib/copr/public_html/results/petersen/lean4/epel-10-ppc64le/08732037-lean4 started
[2025-03-06 05:53:41,469][ INFO][PID:3177601] 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:c289]:/var/lib/copr-rpmbuild/results/ /var/lib/copr/public_html/results/petersen/lean4/epel-10-ppc64le/08732037-lean4/ &> /var/lib/copr/public_html/results/petersen/lean4/epel-10-ppc64le/08732037-lean4/build-08732037.rsync.log
[2025-03-06 05:53:44,690][ INFO][PID:3177601] rsyncing finished.
[2025-03-06 05:53:44,691][ INFO][PID:3177601] Releasing VM back to pool
[2025-03-06 05:53:44,700][ INFO][PID:3177601] Searching for 'success' file in resultdir
[2025-03-06 05:53:44,701][ INFO][PID:3177601] Going to sign pkgs from source: 8732037-epel-10-ppc64le in chroot: /var/lib/copr/public_html/results/petersen/lean4/epel-10-ppc64le
[2025-03-06 05:53:44,701][ INFO][PID:3177601] Calling '/bin/sign -u petersen#lean4@copr.fedorahosted.org -p' (attempt #1)
[2025-03-06 05:53:45,010][ INFO][PID:3177601] Calling '/bin/sign -4 -h sha256 -u petersen#lean4@copr.fedorahosted.org -r /var/lib/copr/public_html/results/petersen/lean4/epel-10-ppc64le/08732037-lean4/lean4-4.17.0-1.el10.ppc64le.rpm' (attempt #1)
[2025-03-06 05:53:50,385][ INFO][PID:3177601] signed rpm: /var/lib/copr/public_html/results/petersen/lean4/epel-10-ppc64le/08732037-lean4/lean4-4.17.0-1.el10.ppc64le.rpm
[2025-03-06 05:53:50,385][ INFO][PID:3177601] Calling '/bin/sign -4 -h sha256 -u petersen#lean4@copr.fedorahosted.org -r /var/lib/copr/public_html/results/petersen/lean4/epel-10-ppc64le/08732037-lean4/lean4-4.17.0-1.el10.src.rpm' (attempt #1)
[2025-03-06 05:53:51,838][ INFO][PID:3177601] signed rpm: /var/lib/copr/public_html/results/petersen/lean4/epel-10-ppc64le/08732037-lean4/lean4-4.17.0-1.el10.src.rpm
[2025-03-06 05:53:51,838][ INFO][PID:3177601] Sign done
[2025-03-06 05:53:51,839][ INFO][PID:3177601] Incremental createrepo run, adding 08732037-lean4 into https://download.copr.fedorainfracloud.org/results/petersen/lean4/epel-10-ppc64le, (auto-create-repo=True)
[2025-03-06 05:53:51,840][ INFO][PID:3177601] Running command 'copr-repo --batched /var/lib/copr/public_html/results/petersen/lean4/epel-10-ppc64le --add 08732037-lean4 --no-appstream-metadata' as PID 3466169
[2025-03-06 05:53:52,917][ INFO][PID:3177601] Finished after 1 seconds with exit code 0 (copr-repo --batched /var/lib/copr/public_html/results/petersen/lean4/epel-10-ppc64le --add 08732037-lean4 --no-appstream-metadata)
[2025-03-06 05:53:52,917][ INFO][PID:3177601] Getting build details
[2025-03-06 05:53:52,918][ INFO][PID:3177601] Listing built binary packages in /var/lib/copr/public_html/results/petersen/lean4/epel-10-ppc64le/08732037-lean4
[2025-03-06 05:53:52,918][ INFO][PID:3177601] Built packages:
['lean4 4.17.0']
[2025-03-06 05:53:52,919][ INFO][PID:3177601] build details: {'built_packages': 'lean4 4.17.0'}
[2025-03-06 05:53:52,919][ INFO][PID:3177601] Retrieving pubkey
[2025-03-06 05:53:52,919][ INFO][PID:3177601] Calling '/bin/sign -u petersen#lean4@copr.fedorahosted.org -p' (attempt #1)
[2025-03-06 05:53:53,246][ INFO][PID:3177601] Added pubkey for user petersen project lean4 into: /var/lib/copr/public_html/results/petersen/lean4/pubkey.gpg
[2025-03-06 05:53:53,247][ INFO][PID:3177601] Finished build: id=8732037 failed=False timeout=18000 destdir=/var/lib/copr/public_html/results/petersen/lean4 chroot=epel-10-ppc64le
[2025-03-06 05:53:53,249][ INFO][PID:3177601] Worker succeeded build, took 4228.967648029327
[2025-03-06 05:53:53,250][ INFO][PID:3177601] 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": 1741240433.2494018,
"started_on": 1741236204.2817538,
"submitted_on": null,
"status": 1,
"chroot": "epel-10-ppc64le",
"arch": "ppc64le",
"buildroot_pkgs": [],
"task_id": "8732037-epel-10-ppc64le",
"build_id": 8732037,
"package_name": "lean4",
"package_version": "4.17.0-1",
"git_repo": "https://copr-dist-git.fedorainfracloud.org/git/petersen/lean4/lean4",
"git_hash": "f9262a0f3118735c20a0201e56023d87b0ff635b",
"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": {
"packages": [
{
"name": "lean4",
"epoch": null,
"version": "4.17.0",
"release": "1.el10",
"arch": "src"
},
{
"name": "lean4",
"epoch": null,
"version": "4.17.0",
"release": "1.el10",
"arch": "ppc64le"
}
]
},
"appstream": false,
"allow_user_ssh": false,
"ssh_public_keys": null,
"storage": null,
"background": false,
"fedora_review": false,
"isolation": "default",
"repo_priority": null,
"repos": [
{
"baseurl": "https://download.copr.fedorainfracloud.org/results/petersen/lean4/epel-10-ppc64le/",
"id": "copr_base",
"name": "Copr repository",
"priority": null
}
],
"tags": [
"arch_ppc64le",
"arch_power9"
],
"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": "08732037-lean4",
"built_packages": "lean4 4.17.0",
"id": 8732037,
"mockchain_macros": {
"copr_username": "petersen",
"copr_projectname": "lean4",
"vendor": "Fedora Project COPR (petersen/lean4)"
}
}
]
}
[2025-03-06 05:53:53,291][ INFO][PID:3177601] Sending fedora-messaging bus message in build.end
[2025-03-06 05:53:53,390][ INFO][PID:3177601] Compressing /var/lib/copr/public_html/results/petersen/lean4/epel-10-ppc64le/08732037-lean4/builder-live.log by gzip
[2025-03-06 05:53:53,391][ INFO][PID:3177601] Running command 'gzip /var/lib/copr/public_html/results/petersen/lean4/epel-10-ppc64le/08732037-lean4/builder-live.log' as PID 3466289
[2025-03-06 05:53:53,466][ INFO][PID:3177601] Finished after 0 seconds with exit code 0 (gzip /var/lib/copr/public_html/results/petersen/lean4/epel-10-ppc64le/08732037-lean4/builder-live.log)
[2025-03-06 05:53:53,467][ INFO][PID:3177601] Compressing /var/lib/copr/public_html/results/petersen/lean4/epel-10-ppc64le/08732037-lean4/backend.log by gzip
[2025-03-06 05:53:53,468][ INFO][PID:3177601] Running command 'gzip /var/lib/copr/public_html/results/petersen/lean4/epel-10-ppc64le/08732037-lean4/backend.log' as PID 3466294