[2025-03-06 04:43:20,040][ INFO][PID:3177602] Marking build as starting
[2025-03-06 04:43:20,084][ INFO][PID:3177602] Trying to allocate VM
[2025-03-06 04:43:23,110][ INFO][PID:3177602] Allocated host ResallocHost, ticket_id=1665603, hostname=107.21.177.213, name=aws_aarch64_normalreserved_prod_01713219_20250306_043020
[2025-03-06 04:43:23,110][ INFO][PID:3177602] Allocating ssh connection to builder
[2025-03-06 04:43:23,111][ INFO][PID:3177602] Checking that builder machine is OK
[2025-03-06 04:43:23,494][ INFO][PID:3177602] Running remote command: copr-builder-ready epel-10-aarch64
[2025-03-06 04:43:23,715][ INFO][PID:3177602] Checking Red Hat subscription (attempt #1)
Red Hat subscription active
Builder is ready to be used
[2025-03-06 04:43:23,715][ INFO][PID:3177602] Filling build.info file with builder info
[2025-03-06 04:43:23,716][ INFO][PID:3177602] 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": 1741236203.7165647,
"submitted_on": null,
"status": 3,
"chroot": "epel-10-aarch64",
"arch": "aarch64",
"buildroot_pkgs": [],
"task_id": "8732037-epel-10-aarch64",
"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-aarch64/",
"id": "copr_base",
"name": "Copr repository",
"priority": null
}
],
"tags": [
"arch_aarch64"
],
"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:23,750][ INFO][PID:3177602] Sending fedora-messaging bus message in build.start
[2025-03-06 04:43:25,116][ INFO][PID:3177602] Sending fedora-messaging bus message in chroot.start
[2025-03-06 04:43:25,209][ INFO][PID:3177602] Starting remote build: copr-rpmbuild --verbose --drop-resultdir --task-url https://copr.fedorainfracloud.org/backend/get-build-task/8732037-epel-10-aarch64 --chroot epel-10-aarch64 --detached
[2025-03-06 04:43:25,623][ INFO][PID:3177602] Downloading the builder-live.log file, attempt 1
[2025-03-06 04:43:25,625][ INFO][PID:3177602] Popen command started: ssh -F /home/copr/.ssh/config mockbuilder@107.21.177.213 copr-rpmbuild-log
[2025-03-06 04:43:30,629][ INFO][PID:3177602] Periodic builder liveness probe: alive
[2025-03-06 04:53:30,698][ INFO][PID:3177602] Periodic builder liveness probe: alive
[2025-03-06 05:03:30,769][ INFO][PID:3177602] Periodic builder liveness probe: alive
[2025-03-06 05:13:30,923][ INFO][PID:3177602] Periodic builder liveness probe: alive
[2025-03-06 05:23:31,005][ INFO][PID:3177602] Periodic builder liveness probe: alive
[2025-03-06 05:33:31,084][ INFO][PID:3177602] Periodic builder liveness probe: alive
[2025-03-06 05:41:56,372][ INFO][PID:3177602] Downloading results from builder
[2025-03-06 05:41:56,373][ INFO][PID:3177602] rsyncing of mockbuilder@107.21.177.213:/var/lib/copr-rpmbuild/results/ to /var/lib/copr/public_html/results/petersen/lean4/epel-10-aarch64/08732037-lean4 started
[2025-03-06 05:41:56,373][ INFO][PID:3177602] Popen command started: /usr/bin/rsync -rltDvH --chmod=D755,F644 -e 'ssh -F /home/copr/.ssh/config' mockbuilder@107.21.177.213:/var/lib/copr-rpmbuild/results/ /var/lib/copr/public_html/results/petersen/lean4/epel-10-aarch64/08732037-lean4/ &> /var/lib/copr/public_html/results/petersen/lean4/epel-10-aarch64/08732037-lean4/build-08732037.rsync.log
[2025-03-06 05:41:58,018][ INFO][PID:3177602] rsyncing finished.
[2025-03-06 05:41:58,018][ INFO][PID:3177602] Releasing VM back to pool
[2025-03-06 05:41:58,028][ INFO][PID:3177602] Searching for 'success' file in resultdir
[2025-03-06 05:41:58,029][ INFO][PID:3177602] Going to sign pkgs from source: 8732037-epel-10-aarch64 in chroot: /var/lib/copr/public_html/results/petersen/lean4/epel-10-aarch64
[2025-03-06 05:41:58,029][ INFO][PID:3177602] Calling '/bin/sign -u petersen#lean4@copr.fedorahosted.org -p' (attempt #1)
[2025-03-06 05:41:58,338][ INFO][PID:3177602] Calling '/bin/sign -4 -h sha256 -u petersen#lean4@copr.fedorahosted.org -r /var/lib/copr/public_html/results/petersen/lean4/epel-10-aarch64/08732037-lean4/lean4-4.17.0-1.el10.aarch64.rpm' (attempt #1)
[2025-03-06 05:42:04,247][ INFO][PID:3177602] signed rpm: /var/lib/copr/public_html/results/petersen/lean4/epel-10-aarch64/08732037-lean4/lean4-4.17.0-1.el10.aarch64.rpm
[2025-03-06 05:42:04,248][ INFO][PID:3177602] Calling '/bin/sign -4 -h sha256 -u petersen#lean4@copr.fedorahosted.org -r /var/lib/copr/public_html/results/petersen/lean4/epel-10-aarch64/08732037-lean4/lean4-4.17.0-1.el10.src.rpm' (attempt #1)
[2025-03-06 05:42:05,673][ INFO][PID:3177602] signed rpm: /var/lib/copr/public_html/results/petersen/lean4/epel-10-aarch64/08732037-lean4/lean4-4.17.0-1.el10.src.rpm
[2025-03-06 05:42:05,673][ INFO][PID:3177602] Sign done
[2025-03-06 05:42:05,674][ INFO][PID:3177602] Incremental createrepo run, adding 08732037-lean4 into https://download.copr.fedorainfracloud.org/results/petersen/lean4/epel-10-aarch64, (auto-create-repo=True)
[2025-03-06 05:42:05,675][ INFO][PID:3177602] Running command 'copr-repo --batched /var/lib/copr/public_html/results/petersen/lean4/epel-10-aarch64 --add 08732037-lean4 --no-appstream-metadata' as PID 3425144
[2025-03-06 05:42:06,810][ INFO][PID:3177602] Finished after 1 seconds with exit code 0 (copr-repo --batched /var/lib/copr/public_html/results/petersen/lean4/epel-10-aarch64 --add 08732037-lean4 --no-appstream-metadata)
[2025-03-06 05:42:06,811][ INFO][PID:3177602] Getting build details
[2025-03-06 05:42:06,812][ INFO][PID:3177602] Listing built binary packages in /var/lib/copr/public_html/results/petersen/lean4/epel-10-aarch64/08732037-lean4
[2025-03-06 05:42:06,812][ INFO][PID:3177602] Built packages:
['lean4 4.17.0']
[2025-03-06 05:42:06,813][ INFO][PID:3177602] build details: {'built_packages': 'lean4 4.17.0'}
[2025-03-06 05:42:06,813][ INFO][PID:3177602] Retrieving pubkey
[2025-03-06 05:42:06,814][ INFO][PID:3177602] Calling '/bin/sign -u petersen#lean4@copr.fedorahosted.org -p' (attempt #1)
[2025-03-06 05:42:07,124][ INFO][PID:3177602] Added pubkey for user petersen project lean4 into: /var/lib/copr/public_html/results/petersen/lean4/pubkey.gpg
[2025-03-06 05:42:07,125][ INFO][PID:3177602] Finished build: id=8732037 failed=False timeout=18000 destdir=/var/lib/copr/public_html/results/petersen/lean4 chroot=epel-10-aarch64
[2025-03-06 05:42:07,126][ INFO][PID:3177602] Worker succeeded build, took 3523.4101705551147
[2025-03-06 05:42:07,127][ INFO][PID:3177602] 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": 1741239727.1267352,
"started_on": 1741236203.7165647,
"submitted_on": null,
"status": 1,
"chroot": "epel-10-aarch64",
"arch": "aarch64",
"buildroot_pkgs": [],
"task_id": "8732037-epel-10-aarch64",
"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": "aarch64"
}
]
},
"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-aarch64/",
"id": "copr_base",
"name": "Copr repository",
"priority": null
}
],
"tags": [
"arch_aarch64"
],
"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:42:07,165][ INFO][PID:3177602] Sending fedora-messaging bus message in build.end
[2025-03-06 05:42:07,256][ INFO][PID:3177602] Compressing /var/lib/copr/public_html/results/petersen/lean4/epel-10-aarch64/08732037-lean4/builder-live.log by gzip
[2025-03-06 05:42:07,258][ INFO][PID:3177602] Running command 'gzip /var/lib/copr/public_html/results/petersen/lean4/epel-10-aarch64/08732037-lean4/builder-live.log' as PID 3425342
[2025-03-06 05:42:07,340][ INFO][PID:3177602] Finished after 0 seconds with exit code 0 (gzip /var/lib/copr/public_html/results/petersen/lean4/epel-10-aarch64/08732037-lean4/builder-live.log)
[2025-03-06 05:42:07,341][ INFO][PID:3177602] Compressing /var/lib/copr/public_html/results/petersen/lean4/epel-10-aarch64/08732037-lean4/backend.log by gzip
[2025-03-06 05:42:07,342][ INFO][PID:3177602] Running command 'gzip /var/lib/copr/public_html/results/petersen/lean4/epel-10-aarch64/08732037-lean4/backend.log' as PID 3425354