[2025-03-06 04:43:20,026][ INFO][PID:3177611] Marking build as starting
[2025-03-06 04:43:20,128][ INFO][PID:3177611] Trying to allocate VM
[2025-03-06 04:43:23,165][ INFO][PID:3177611] Allocated host ResallocHost, ticket_id=1665606, hostname=3.94.121.118, name=aws_aarch64_normalreserved_prod_01713227_20250306_043111
[2025-03-06 04:43:23,165][ INFO][PID:3177611] Allocating ssh connection to builder
[2025-03-06 04:43:23,166][ INFO][PID:3177611] Checking that builder machine is OK
[2025-03-06 04:43:23,558][ INFO][PID:3177611] Running remote command: copr-builder-ready epel-9-aarch64
[2025-03-06 04:43:23,791][ INFO][PID:3177611] Checking Red Hat subscription (attempt #1)
Red Hat subscription active
Builder is ready to be used
[2025-03-06 04:43:23,791][ INFO][PID:3177611] Filling build.info file with builder info
[2025-03-06 04:43:23,793][ INFO][PID:3177611] 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.7928708,
"submitted_on": null,
"status": 3,
"chroot": "epel-9-aarch64",
"arch": "aarch64",
"buildroot_pkgs": [],
"task_id": "8732037-epel-9-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": "28a6e6c716672c4aa2d1da046bac9def9ed03028",
"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-9-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,825][ INFO][PID:3177611] Sending fedora-messaging bus message in build.start
[2025-03-06 04:43:25,157][ INFO][PID:3177611] Sending fedora-messaging bus message in chroot.start
[2025-03-06 04:43:25,244][ INFO][PID:3177611] Starting remote build: copr-rpmbuild --verbose --drop-resultdir --task-url https://copr.fedorainfracloud.org/backend/get-build-task/8732037-epel-9-aarch64 --chroot epel-9-aarch64 --detached
[2025-03-06 04:43:25,665][ INFO][PID:3177611] Downloading the builder-live.log file, attempt 1
[2025-03-06 04:43:25,666][ INFO][PID:3177611] Popen command started: ssh -F /home/copr/.ssh/config mockbuilder@3.94.121.118 copr-rpmbuild-log
[2025-03-06 04:43:30,670][ INFO][PID:3177611] Periodic builder liveness probe: alive
[2025-03-06 04:53:30,737][ INFO][PID:3177611] Periodic builder liveness probe: alive
[2025-03-06 05:03:30,810][ INFO][PID:3177611] Periodic builder liveness probe: alive
[2025-03-06 05:13:30,941][ INFO][PID:3177611] Periodic builder liveness probe: alive
[2025-03-06 05:23:31,021][ INFO][PID:3177611] Periodic builder liveness probe: alive
[2025-03-06 05:30:58,102][ INFO][PID:3177611] Downloading results from builder
[2025-03-06 05:30:58,102][ INFO][PID:3177611] rsyncing of mockbuilder@3.94.121.118:/var/lib/copr-rpmbuild/results/ to /var/lib/copr/public_html/results/petersen/lean4/epel-9-aarch64/08732037-lean4 started
[2025-03-06 05:30:58,103][ INFO][PID:3177611] Popen command started: /usr/bin/rsync -rltDvH --chmod=D755,F644 -e 'ssh -F /home/copr/.ssh/config' mockbuilder@3.94.121.118:/var/lib/copr-rpmbuild/results/ /var/lib/copr/public_html/results/petersen/lean4/epel-9-aarch64/08732037-lean4/ &> /var/lib/copr/public_html/results/petersen/lean4/epel-9-aarch64/08732037-lean4/build-08732037.rsync.log
[2025-03-06 05:30:59,528][ INFO][PID:3177611] rsyncing finished.
[2025-03-06 05:30:59,529][ INFO][PID:3177611] Releasing VM back to pool
[2025-03-06 05:30:59,539][ INFO][PID:3177611] Searching for 'success' file in resultdir
[2025-03-06 05:30:59,540][ INFO][PID:3177611] Going to sign pkgs from source: 8732037-epel-9-aarch64 in chroot: /var/lib/copr/public_html/results/petersen/lean4/epel-9-aarch64
[2025-03-06 05:30:59,541][ INFO][PID:3177611] Calling '/bin/sign -u petersen#lean4@copr.fedorahosted.org -p' (attempt #1)
[2025-03-06 05:30:59,774][ INFO][PID:3177611] Calling '/bin/sign -4 -h sha256 -u petersen#lean4@copr.fedorahosted.org -r /var/lib/copr/public_html/results/petersen/lean4/epel-9-aarch64/08732037-lean4/lean4-4.17.0-1.el9.src.rpm' (attempt #1)
[2025-03-06 05:31:01,031][ INFO][PID:3177611] signed rpm: /var/lib/copr/public_html/results/petersen/lean4/epel-9-aarch64/08732037-lean4/lean4-4.17.0-1.el9.src.rpm
[2025-03-06 05:31:01,031][ INFO][PID:3177611] Calling '/bin/sign -4 -h sha256 -u petersen#lean4@copr.fedorahosted.org -r /var/lib/copr/public_html/results/petersen/lean4/epel-9-aarch64/08732037-lean4/lean4-4.17.0-1.el9.aarch64.rpm' (attempt #1)
[2025-03-06 05:31:06,508][ INFO][PID:3177611] signed rpm: /var/lib/copr/public_html/results/petersen/lean4/epel-9-aarch64/08732037-lean4/lean4-4.17.0-1.el9.aarch64.rpm
[2025-03-06 05:31:06,509][ INFO][PID:3177611] Sign done
[2025-03-06 05:31:06,509][ INFO][PID:3177611] Incremental createrepo run, adding 08732037-lean4 into https://download.copr.fedorainfracloud.org/results/petersen/lean4/epel-9-aarch64, (auto-create-repo=True)
[2025-03-06 05:31:06,510][ INFO][PID:3177611] Running command 'copr-repo --batched /var/lib/copr/public_html/results/petersen/lean4/epel-9-aarch64 --add 08732037-lean4 --no-appstream-metadata' as PID 3375598
[2025-03-06 05:31:07,578][ INFO][PID:3177611] Finished after 1 seconds with exit code 0 (copr-repo --batched /var/lib/copr/public_html/results/petersen/lean4/epel-9-aarch64 --add 08732037-lean4 --no-appstream-metadata)
[2025-03-06 05:31:07,580][ INFO][PID:3177611] Getting build details
[2025-03-06 05:31:07,580][ INFO][PID:3177611] Listing built binary packages in /var/lib/copr/public_html/results/petersen/lean4/epel-9-aarch64/08732037-lean4
[2025-03-06 05:31:07,581][ INFO][PID:3177611] Built packages:
['lean4 4.17.0']
[2025-03-06 05:31:07,581][ INFO][PID:3177611] build details: {'built_packages': 'lean4 4.17.0'}
[2025-03-06 05:31:07,582][ INFO][PID:3177611] Retrieving pubkey
[2025-03-06 05:31:07,582][ INFO][PID:3177611] Calling '/bin/sign -u petersen#lean4@copr.fedorahosted.org -p' (attempt #1)
[2025-03-06 05:31:07,895][ INFO][PID:3177611] Added pubkey for user petersen project lean4 into: /var/lib/copr/public_html/results/petersen/lean4/pubkey.gpg
[2025-03-06 05:31:07,896][ INFO][PID:3177611] Finished build: id=8732037 failed=False timeout=18000 destdir=/var/lib/copr/public_html/results/petersen/lean4 chroot=epel-9-aarch64
[2025-03-06 05:31:07,898][ INFO][PID:3177611] Worker succeeded build, took 2864.1053206920624
[2025-03-06 05:31:07,898][ INFO][PID:3177611] 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": 1741239067.8981915,
"started_on": 1741236203.7928708,
"submitted_on": null,
"status": 1,
"chroot": "epel-9-aarch64",
"arch": "aarch64",
"buildroot_pkgs": [],
"task_id": "8732037-epel-9-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": "28a6e6c716672c4aa2d1da046bac9def9ed03028",
"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.el9",
"arch": "src"
},
{
"name": "lean4",
"epoch": null,
"version": "4.17.0",
"release": "1.el9",
"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-9-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:31:07,946][ INFO][PID:3177611] Sending fedora-messaging bus message in build.end
[2025-03-06 05:31:07,963][ INFO][PID:3177611] Compressing /var/lib/copr/public_html/results/petersen/lean4/epel-9-aarch64/08732037-lean4/builder-live.log by gzip
[2025-03-06 05:31:07,965][ INFO][PID:3177611] Running command 'gzip /var/lib/copr/public_html/results/petersen/lean4/epel-9-aarch64/08732037-lean4/builder-live.log' as PID 3375699
[2025-03-06 05:31:08,042][ INFO][PID:3177611] Finished after 0 seconds with exit code 0 (gzip /var/lib/copr/public_html/results/petersen/lean4/epel-9-aarch64/08732037-lean4/builder-live.log)
[2025-03-06 05:31:08,043][ INFO][PID:3177611] Compressing /var/lib/copr/public_html/results/petersen/lean4/epel-9-aarch64/08732037-lean4/backend.log by gzip
[2025-03-06 05:31:08,044][ INFO][PID:3177611] Running command 'gzip /var/lib/copr/public_html/results/petersen/lean4/epel-9-aarch64/08732037-lean4/backend.log' as PID 3375706