[2025-06-11 00:50:16,434][ INFO][PID:2756230] Marking build as starting [2025-06-11 00:50:16,469][ INFO][PID:2756230] Checking for cancel request [2025-06-11 00:50:16,479][ INFO][PID:2756230] VM allocation process starts [2025-06-11 00:50:16,512][ INFO][PID:2756230] Trying to allocate VM: ResallocHost, ticket_id=3440464, requested_tags=['copr_builder', 'arch_x86_64'] [2025-06-11 00:50:21,516][ INFO][PID:2756230] Checking for cancel request [2025-06-11 00:50:22,559][ INFO][PID:2756230] Allocated host ResallocHost, ticket_id=3440464, hostname=3.91.41.216, name=aws_x86_64_normalreserved_prod_04732355_20250611_003552, requested_tags=['copr_builder', 'arch_x86_64'] [2025-06-11 00:50:22,561][ INFO][PID:2756230] Allocating ssh connection to builder [2025-06-11 00:50:22,562][ INFO][PID:2756230] Checking that builder machine is OK [2025-06-11 00:50:23,062][ INFO][PID:2756230] Running remote command: copr-builder-ready fedora-rawhide-x86_64 [2025-06-11 00:50:23,298][ INFO][PID:2756230] Red Hat subscription not needed for fedora-rawhide-x86_64 Builder is ready to be used [2025-06-11 00:50:23,301][ INFO][PID:2756230] Filling build.info file with builder info [2025-06-11 00:50:23,304][ INFO][PID:2756230] Checking for cancel request [2025-06-11 00:50:23,309][ INFO][PID:2756230] Sending build state back to frontend: { "builds": [ { "timeout": 115200, "frontend_base_url": "https://copr.fedorainfracloud.org", "memory_reqs": 2048, "enable_net": false, "project_owner": "djdelorie", "project_name": "libffi-3.5.1", "project_dirname": "libffi-3.5.1", "submitter": "djdelorie", "ended_on": null, "started_on": 1749603023.3091435, "submitted_on": null, "status": 3, "chroot": "fedora-rawhide-x86_64", "arch": "x86_64", "buildroot_pkgs": [], "task_id": "9151232-fedora-rawhide-x86_64", "build_id": 9151232, "package_name": "Agda", "package_version": "2.7.0.1-54", "git_repo": "https://copr-dist-git.fedorainfracloud.org/git/djdelorie/libffi-3.5.1/Agda", "git_hash": "a28963409ffbf73839af275170651783ed296fd5", "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": "djdelorie/libffi-3.5.1--djdelorie", "results": null, "appstream": false, "allow_user_ssh": false, "ssh_public_keys": null, "storage": 0, "background": true, "fedora_review": false, "isolation": "default", "repo_priority": null, "repos": [ { "baseurl": "https://download.copr.fedorainfracloud.org/results/djdelorie/libffi-3.5.1/fedora-rawhide-x86_64/", "id": "copr_base", "name": "Copr repository", "priority": null } ], "tags": [ "arch_x86_64" ], "with_opts": [], "without_opts": [], "destdir": "/var/lib/copr/public_html/results/djdelorie/libffi-3.5.1", "results_repo_url": "https://download.copr.fedorainfracloud.org/results/djdelorie/libffi-3.5.1", "result_dir": "09151232-Agda", "built_packages": "", "id": 9151232, "mockchain_macros": { "copr_username": "djdelorie", "copr_projectname": "libffi-3.5.1", "vendor": "Fedora Project COPR (djdelorie/libffi-3.5.1)" } } ] } [2025-06-11 00:50:23,338][ INFO][PID:2756230] Sending fedora-messaging bus message in build.start [2025-06-11 00:50:24,258][ INFO][PID:2756230] Sending fedora-messaging bus message in chroot.start [2025-06-11 00:50:24,282][ INFO][PID:2756230] Starting remote build: copr-rpmbuild --verbose --drop-resultdir --task-url https://copr.fedorainfracloud.org/backend/get-build-task/9151232-fedora-rawhide-x86_64 --chroot fedora-rawhide-x86_64 --detached [2025-06-11 00:50:24,677][ INFO][PID:2756230] Downloading the builder-live.log file, attempt 1 [2025-06-11 00:50:24,680][ INFO][PID:2756230] Popen command started: ssh -F /home/copr/.ssh/config mockbuilder@3.91.41.216 copr-rpmbuild-log [2025-06-11 00:50:29,724][ INFO][PID:2756230] Periodic builder liveness probe: alive [2025-06-11 00:50:29,725][ INFO][PID:2756230] Checking for cancel request [2025-06-11 00:50:34,728][ INFO][PID:2756230] Checking for cancel request [2025-06-11 00:50:39,732][ INFO][PID:2756230] Checking for cancel request [2025-06-11 00:50:44,747][ INFO][PID:2756230] Checking for cancel request [2025-06-11 00:50:49,749][ INFO][PID:2756230] Checking for cancel request [2025-06-11 00:50:54,751][ INFO][PID:2756230] Checking for cancel request [2025-06-11 00:50:59,754][ INFO][PID:2756230] Checking for cancel request [2025-06-11 00:51:04,756][ INFO][PID:2756230] Checking for cancel request [2025-06-11 00:51:09,759][ INFO][PID:2756230] Checking for cancel request [2025-06-11 00:51:14,761][ INFO][PID:2756230] Checking for cancel request [2025-06-11 00:51:19,763][ INFO][PID:2756230] Checking for cancel request [2025-06-11 00:51:24,766][ INFO][PID:2756230] Checking for cancel request [2025-06-11 00:51:29,769][ INFO][PID:2756230] Checking for cancel request [2025-06-11 00:51:34,771][ INFO][PID:2756230] Checking for cancel request [2025-06-11 00:51:39,774][ INFO][PID:2756230] Checking for cancel request [2025-06-11 00:51:44,777][ INFO][PID:2756230] Checking for cancel request [2025-06-11 00:51:49,779][ INFO][PID:2756230] Checking for cancel request [2025-06-11 00:51:54,782][ INFO][PID:2756230] Checking for cancel request [2025-06-11 00:51:59,784][ INFO][PID:2756230] Checking for cancel request [2025-06-11 00:52:04,792][ INFO][PID:2756230] Checking for cancel request [2025-06-11 00:52:09,799][ INFO][PID:2756230] Checking for cancel request [2025-06-11 00:52:14,802][ INFO][PID:2756230] Checking for cancel request [2025-06-11 00:52:19,804][ INFO][PID:2756230] Checking for cancel request [2025-06-11 00:52:24,807][ INFO][PID:2756230] Checking for cancel request [2025-06-11 00:52:29,810][ INFO][PID:2756230] Checking for cancel request [2025-06-11 00:52:34,813][ INFO][PID:2756230] Checking for cancel request [2025-06-11 00:52:39,816][ INFO][PID:2756230] Checking for cancel request [2025-06-11 00:52:44,818][ INFO][PID:2756230] Checking for cancel request [2025-06-11 00:52:49,823][ INFO][PID:2756230] Checking for cancel request [2025-06-11 00:52:54,826][ INFO][PID:2756230] Checking for cancel request [2025-06-11 00:52:59,829][ INFO][PID:2756230] Checking for cancel request [2025-06-11 00:53:04,834][ INFO][PID:2756230] Checking for cancel request [2025-06-11 00:53:09,848][ INFO][PID:2756230] Checking for cancel request [2025-06-11 00:53:14,852][ INFO][PID:2756230] Checking for cancel request [2025-06-11 00:53:19,856][ INFO][PID:2756230] Checking for cancel request [2025-06-11 00:53:24,859][ INFO][PID:2756230] Checking for cancel request [2025-06-11 00:53:29,862][ INFO][PID:2756230] Checking for cancel request [2025-06-11 00:53:34,865][ INFO][PID:2756230] Checking for cancel request [2025-06-11 00:53:39,867][ INFO][PID:2756230] Checking for cancel request [2025-06-11 00:53:44,873][ INFO][PID:2756230] Checking for cancel request [2025-06-11 00:53:49,876][ INFO][PID:2756230] Checking for cancel request [2025-06-11 00:53:54,881][ INFO][PID:2756230] Checking for cancel request [2025-06-11 00:53:59,883][ INFO][PID:2756230] Checking for cancel request [2025-06-11 00:54:04,886][ INFO][PID:2756230] Checking for cancel request [2025-06-11 00:54:09,888][ INFO][PID:2756230] Checking for cancel request [2025-06-11 00:54:14,891][ INFO][PID:2756230] Checking for cancel request [2025-06-11 00:54:19,894][ INFO][PID:2756230] Checking for cancel request [2025-06-11 00:54:24,896][ INFO][PID:2756230] Checking for cancel request [2025-06-11 00:54:29,901][ INFO][PID:2756230] Checking for cancel request [2025-06-11 00:54:34,904][ INFO][PID:2756230] Checking for cancel request [2025-06-11 00:54:39,908][ INFO][PID:2756230] Checking for cancel request [2025-06-11 00:54:44,911][ INFO][PID:2756230] Checking for cancel request [2025-06-11 00:54:49,913][ INFO][PID:2756230] Checking for cancel request [2025-06-11 00:54:54,916][ INFO][PID:2756230] Checking for cancel request [2025-06-11 00:54:59,919][ INFO][PID:2756230] Checking for cancel request [2025-06-11 00:55:04,921][ INFO][PID:2756230] Checking for cancel request [2025-06-11 00:55:09,923][ INFO][PID:2756230] Checking for cancel request [2025-06-11 00:55:14,926][ INFO][PID:2756230] Checking for cancel request [2025-06-11 00:55:19,929][ INFO][PID:2756230] Checking for cancel request [2025-06-11 00:55:24,933][ INFO][PID:2756230] Checking for cancel request [2025-06-11 00:55:29,936][ INFO][PID:2756230] Checking for cancel request [2025-06-11 00:55:34,939][ INFO][PID:2756230] Checking for cancel request [2025-06-11 00:55:39,943][ INFO][PID:2756230] Checking for cancel request [2025-06-11 00:55:44,946][ INFO][PID:2756230] Checking for cancel request [2025-06-11 00:55:49,950][ INFO][PID:2756230] Checking for cancel request [2025-06-11 00:55:54,953][ INFO][PID:2756230] Checking for cancel request [2025-06-11 00:55:59,957][ INFO][PID:2756230] Checking for cancel request [2025-06-11 00:56:04,965][ INFO][PID:2756230] Checking for cancel request [2025-06-11 00:56:09,968][ INFO][PID:2756230] Checking for cancel request [2025-06-11 00:56:14,971][ INFO][PID:2756230] Checking for cancel request [2025-06-11 00:56:19,973][ INFO][PID:2756230] Checking for cancel request [2025-06-11 00:56:24,976][ INFO][PID:2756230] Checking for cancel request [2025-06-11 00:56:29,978][ INFO][PID:2756230] Checking for cancel request [2025-06-11 00:56:34,981][ INFO][PID:2756230] Checking for cancel request [2025-06-11 00:56:39,984][ INFO][PID:2756230] Checking for cancel request [2025-06-11 00:56:44,988][ INFO][PID:2756230] Checking for cancel request [2025-06-11 00:56:49,990][ INFO][PID:2756230] Checking for cancel request [2025-06-11 00:56:54,993][ INFO][PID:2756230] Checking for cancel request [2025-06-11 00:56:59,997][ INFO][PID:2756230] Checking for cancel request [2025-06-11 00:57:05,004][ INFO][PID:2756230] Checking for cancel request [2025-06-11 00:57:10,007][ INFO][PID:2756230] Checking for cancel request [2025-06-11 00:57:15,010][ INFO][PID:2756230] Checking for cancel request [2025-06-11 00:57:20,013][ INFO][PID:2756230] Checking for cancel request [2025-06-11 00:57:25,015][ INFO][PID:2756230] Checking for cancel request [2025-06-11 00:57:30,018][ INFO][PID:2756230] Checking for cancel request [2025-06-11 00:57:35,020][ INFO][PID:2756230] Checking for cancel request [2025-06-11 00:57:40,023][ INFO][PID:2756230] Checking for cancel request [2025-06-11 00:57:45,026][ INFO][PID:2756230] Checking for cancel request [2025-06-11 00:57:50,030][ INFO][PID:2756230] Checking for cancel request [2025-06-11 00:57:55,032][ INFO][PID:2756230] Checking for cancel request [2025-06-11 00:58:00,035][ INFO][PID:2756230] Checking for cancel request [2025-06-11 00:58:05,039][ INFO][PID:2756230] Checking for cancel request [2025-06-11 00:58:10,041][ INFO][PID:2756230] Checking for cancel request [2025-06-11 00:58:15,044][ INFO][PID:2756230] Checking for cancel request [2025-06-11 00:58:20,047][ INFO][PID:2756230] Checking for cancel request [2025-06-11 00:58:25,049][ INFO][PID:2756230] Checking for cancel request [2025-06-11 00:58:30,051][ INFO][PID:2756230] Checking for cancel request [2025-06-11 00:58:35,054][ INFO][PID:2756230] Checking for cancel request [2025-06-11 00:58:40,057][ INFO][PID:2756230] Checking for cancel request [2025-06-11 00:58:45,059][ INFO][PID:2756230] Checking for cancel request [2025-06-11 00:58:50,062][ INFO][PID:2756230] Checking for cancel request [2025-06-11 00:58:55,064][ INFO][PID:2756230] Checking for cancel request [2025-06-11 00:59:00,068][ INFO][PID:2756230] Checking for cancel request [2025-06-11 00:59:05,071][ INFO][PID:2756230] Checking for cancel request [2025-06-11 00:59:10,074][ INFO][PID:2756230] Checking for cancel request [2025-06-11 00:59:15,081][ INFO][PID:2756230] Checking for cancel request [2025-06-11 00:59:20,083][ INFO][PID:2756230] Checking for cancel request [2025-06-11 00:59:25,086][ INFO][PID:2756230] Checking for cancel request [2025-06-11 00:59:30,089][ INFO][PID:2756230] Checking for cancel request [2025-06-11 00:59:35,091][ INFO][PID:2756230] Checking for cancel request [2025-06-11 00:59:40,094][ INFO][PID:2756230] Checking for cancel request [2025-06-11 00:59:45,097][ INFO][PID:2756230] Checking for cancel request [2025-06-11 00:59:50,100][ INFO][PID:2756230] Checking for cancel request [2025-06-11 00:59:55,102][ INFO][PID:2756230] Checking for cancel request [2025-06-11 01:00:00,105][ INFO][PID:2756230] Checking for cancel request [2025-06-11 01:00:05,108][ INFO][PID:2756230] Checking for cancel request [2025-06-11 01:00:10,111][ INFO][PID:2756230] Checking for cancel request [2025-06-11 01:00:15,114][ INFO][PID:2756230] Checking for cancel request [2025-06-11 01:00:20,117][ INFO][PID:2756230] Checking for cancel request [2025-06-11 01:00:25,119][ INFO][PID:2756230] Checking for cancel request [2025-06-11 01:00:30,134][ INFO][PID:2756230] Periodic builder liveness probe: alive [2025-06-11 01:00:30,135][ INFO][PID:2756230] Checking for cancel request [2025-06-11 01:00:35,138][ INFO][PID:2756230] Checking for cancel request [2025-06-11 01:00:40,143][ INFO][PID:2756230] Checking for cancel request [2025-06-11 01:00:45,146][ INFO][PID:2756230] Checking for cancel request [2025-06-11 01:00:50,149][ INFO][PID:2756230] Checking for cancel request [2025-06-11 01:00:55,151][ INFO][PID:2756230] Checking for cancel request [2025-06-11 01:01:00,154][ INFO][PID:2756230] Checking for cancel request [2025-06-11 01:01:05,157][ INFO][PID:2756230] Checking for cancel request [2025-06-11 01:01:10,160][ INFO][PID:2756230] Checking for cancel request [2025-06-11 01:01:15,164][ INFO][PID:2756230] Checking for cancel request [2025-06-11 01:01:20,169][ INFO][PID:2756230] Checking for cancel request [2025-06-11 01:01:25,177][ INFO][PID:2756230] Checking for cancel request [2025-06-11 01:01:30,181][ INFO][PID:2756230] Checking for cancel request [2025-06-11 01:01:35,183][ INFO][PID:2756230] Checking for cancel request [2025-06-11 01:01:40,186][ INFO][PID:2756230] Checking for cancel request [2025-06-11 01:01:45,190][ INFO][PID:2756230] Checking for cancel request [2025-06-11 01:01:50,194][ INFO][PID:2756230] Checking for cancel request [2025-06-11 01:01:55,197][ INFO][PID:2756230] Checking for cancel request [2025-06-11 01:02:00,200][ INFO][PID:2756230] Checking for cancel request [2025-06-11 01:02:05,203][ INFO][PID:2756230] Checking for cancel request [2025-06-11 01:02:10,206][ INFO][PID:2756230] Checking for cancel request [2025-06-11 01:02:15,209][ INFO][PID:2756230] Checking for cancel request [2025-06-11 01:02:20,213][ INFO][PID:2756230] Checking for cancel request [2025-06-11 01:02:25,216][ INFO][PID:2756230] Checking for cancel request [2025-06-11 01:02:30,218][ INFO][PID:2756230] Checking for cancel request [2025-06-11 01:02:35,222][ INFO][PID:2756230] Checking for cancel request [2025-06-11 01:02:40,225][ INFO][PID:2756230] Checking for cancel request [2025-06-11 01:02:45,228][ INFO][PID:2756230] Checking for cancel request [2025-06-11 01:02:50,231][ INFO][PID:2756230] Checking for cancel request [2025-06-11 01:02:55,234][ INFO][PID:2756230] Checking for cancel request [2025-06-11 01:03:00,237][ INFO][PID:2756230] Checking for cancel request [2025-06-11 01:03:05,240][ INFO][PID:2756230] Checking for cancel request [2025-06-11 01:03:10,243][ INFO][PID:2756230] Checking for cancel request [2025-06-11 01:03:15,246][ INFO][PID:2756230] Checking for cancel request [2025-06-11 01:03:20,249][ INFO][PID:2756230] Checking for cancel request [2025-06-11 01:03:25,251][ INFO][PID:2756230] Checking for cancel request [2025-06-11 01:03:30,254][ INFO][PID:2756230] Checking for cancel request [2025-06-11 01:03:35,257][ INFO][PID:2756230] Checking for cancel request [2025-06-11 01:03:40,260][ INFO][PID:2756230] Checking for cancel request [2025-06-11 01:03:45,262][ INFO][PID:2756230] Checking for cancel request [2025-06-11 01:03:50,266][ INFO][PID:2756230] Checking for cancel request [2025-06-11 01:03:55,271][ INFO][PID:2756230] Checking for cancel request [2025-06-11 01:04:00,274][ INFO][PID:2756230] Checking for cancel request [2025-06-11 01:04:05,279][ INFO][PID:2756230] Checking for cancel request [2025-06-11 01:04:10,281][ INFO][PID:2756230] Checking for cancel request [2025-06-11 01:04:15,284][ INFO][PID:2756230] Checking for cancel request [2025-06-11 01:04:20,287][ INFO][PID:2756230] Checking for cancel request [2025-06-11 01:04:25,290][ INFO][PID:2756230] Checking for cancel request [2025-06-11 01:04:30,292][ INFO][PID:2756230] Checking for cancel request [2025-06-11 01:04:35,295][ INFO][PID:2756230] Checking for cancel request [2025-06-11 01:04:40,297][ INFO][PID:2756230] Checking for cancel request [2025-06-11 01:04:45,300][ INFO][PID:2756230] Checking for cancel request [2025-06-11 01:04:50,303][ INFO][PID:2756230] Checking for cancel request [2025-06-11 01:04:54,071][ INFO][PID:2756230] Downloading results from builder [2025-06-11 01:04:54,073][ INFO][PID:2756230] rsyncing of mockbuilder@3.91.41.216:/var/lib/copr-rpmbuild/results/ to /var/lib/copr/public_html/results/djdelorie/libffi-3.5.1/fedora-rawhide-x86_64/09151232-Agda started [2025-06-11 01:04:54,075][ INFO][PID:2756230] Popen command started: /usr/bin/rsync -rltDvH --chmod=D755,F644 -e 'ssh -F /home/copr/.ssh/config' mockbuilder@3.91.41.216:/var/lib/copr-rpmbuild/results/ /var/lib/copr/public_html/results/djdelorie/libffi-3.5.1/fedora-rawhide-x86_64/09151232-Agda/ &> /var/lib/copr/public_html/results/djdelorie/libffi-3.5.1/fedora-rawhide-x86_64/09151232-Agda/build-09151232.rsync.log [2025-06-11 01:04:55,223][ INFO][PID:2756230] rsyncing finished. [2025-06-11 01:04:55,232][ INFO][PID:2756230] Releasing VM back to pool [2025-06-11 01:04:55,310][ INFO][PID:2756230] Searching for 'success' file in resultdir [2025-06-11 01:04:55,312][ INFO][PID:2756230] Going to sign pkgs from source: 9151232-fedora-rawhide-x86_64 in chroot: /var/lib/copr/public_html/results/djdelorie/libffi-3.5.1/fedora-rawhide-x86_64 [2025-06-11 01:04:55,313][ INFO][PID:2756230] Calling '/bin/sign -u djdelorie#libffi-3.5.1@copr.fedorahosted.org -p' (attempt #1) [2025-06-11 01:04:55,635][ INFO][PID:2756230] Calling '/bin/sign -4 -h sha256 -u djdelorie#libffi-3.5.1@copr.fedorahosted.org -r /var/lib/copr/public_html/results/djdelorie/libffi-3.5.1/fedora-rawhide-x86_64/09151232-Agda/ghc-vector-hashtables-devel-0.1.2.0-54.fc43.x86_64.rpm' (attempt #1) [2025-06-11 01:04:56,324][ INFO][PID:2756230] signed rpm: /var/lib/copr/public_html/results/djdelorie/libffi-3.5.1/fedora-rawhide-x86_64/09151232-Agda/ghc-vector-hashtables-devel-0.1.2.0-54.fc43.x86_64.rpm [2025-06-11 01:04:56,326][ INFO][PID:2756230] Calling '/bin/sign -4 -h sha256 -u djdelorie#libffi-3.5.1@copr.fedorahosted.org -r /var/lib/copr/public_html/results/djdelorie/libffi-3.5.1/fedora-rawhide-x86_64/09151232-Agda/Agda-2.7.0.1-54.fc43.src.rpm' (attempt #1) [2025-06-11 01:04:57,192][ INFO][PID:2756230] signed rpm: /var/lib/copr/public_html/results/djdelorie/libffi-3.5.1/fedora-rawhide-x86_64/09151232-Agda/Agda-2.7.0.1-54.fc43.src.rpm [2025-06-11 01:04:57,193][ INFO][PID:2756230] Calling '/bin/sign -4 -h sha256 -u djdelorie#libffi-3.5.1@copr.fedorahosted.org -r /var/lib/copr/public_html/results/djdelorie/libffi-3.5.1/fedora-rawhide-x86_64/09151232-Agda/ghc-peano-0.1.0.2-54.fc43.x86_64.rpm' (attempt #1) [2025-06-11 01:04:57,876][ INFO][PID:2756230] signed rpm: /var/lib/copr/public_html/results/djdelorie/libffi-3.5.1/fedora-rawhide-x86_64/09151232-Agda/ghc-peano-0.1.0.2-54.fc43.x86_64.rpm [2025-06-11 01:04:57,878][ INFO][PID:2756230] Calling '/bin/sign -4 -h sha256 -u djdelorie#libffi-3.5.1@copr.fedorahosted.org -r /var/lib/copr/public_html/results/djdelorie/libffi-3.5.1/fedora-rawhide-x86_64/09151232-Agda/ghc-vector-hashtables-doc-0.1.2.0-54.fc43.noarch.rpm' (attempt #1) [2025-06-11 01:04:58,698][ INFO][PID:2756230] signed rpm: /var/lib/copr/public_html/results/djdelorie/libffi-3.5.1/fedora-rawhide-x86_64/09151232-Agda/ghc-vector-hashtables-doc-0.1.2.0-54.fc43.noarch.rpm [2025-06-11 01:04:58,699][ INFO][PID:2756230] Calling '/bin/sign -4 -h sha256 -u djdelorie#libffi-3.5.1@copr.fedorahosted.org -r /var/lib/copr/public_html/results/djdelorie/libffi-3.5.1/fedora-rawhide-x86_64/09151232-Agda/ghc-pqueue-1.5.0.0-54.fc43.x86_64.rpm' (attempt #1) [2025-06-11 01:04:59,539][ INFO][PID:2756230] signed rpm: /var/lib/copr/public_html/results/djdelorie/libffi-3.5.1/fedora-rawhide-x86_64/09151232-Agda/ghc-pqueue-1.5.0.0-54.fc43.x86_64.rpm [2025-06-11 01:04:59,541][ INFO][PID:2756230] Calling '/bin/sign -4 -h sha256 -u djdelorie#libffi-3.5.1@copr.fedorahosted.org -r /var/lib/copr/public_html/results/djdelorie/libffi-3.5.1/fedora-rawhide-x86_64/09151232-Agda/ghc-Agda-prof-2.7.0.1-54.fc43.x86_64.rpm' (attempt #1) [2025-06-11 01:05:00,794][ INFO][PID:2756230] signed rpm: /var/lib/copr/public_html/results/djdelorie/libffi-3.5.1/fedora-rawhide-x86_64/09151232-Agda/ghc-Agda-prof-2.7.0.1-54.fc43.x86_64.rpm [2025-06-11 01:05:00,796][ INFO][PID:2756230] Calling '/bin/sign -4 -h sha256 -u djdelorie#libffi-3.5.1@copr.fedorahosted.org -r /var/lib/copr/public_html/results/djdelorie/libffi-3.5.1/fedora-rawhide-x86_64/09151232-Agda/ghc-Agda-2.7.0.1-54.fc43.x86_64.rpm' (attempt #1) [2025-06-11 01:05:01,906][ INFO][PID:2756230] signed rpm: /var/lib/copr/public_html/results/djdelorie/libffi-3.5.1/fedora-rawhide-x86_64/09151232-Agda/ghc-Agda-2.7.0.1-54.fc43.x86_64.rpm [2025-06-11 01:05:01,908][ INFO][PID:2756230] Calling '/bin/sign -4 -h sha256 -u djdelorie#libffi-3.5.1@copr.fedorahosted.org -r /var/lib/copr/public_html/results/djdelorie/libffi-3.5.1/fedora-rawhide-x86_64/09151232-Agda/ghc-vector-hashtables-prof-0.1.2.0-54.fc43.x86_64.rpm' (attempt #1) [2025-06-11 01:05:02,904][ INFO][PID:2756230] signed rpm: /var/lib/copr/public_html/results/djdelorie/libffi-3.5.1/fedora-rawhide-x86_64/09151232-Agda/ghc-vector-hashtables-prof-0.1.2.0-54.fc43.x86_64.rpm [2025-06-11 01:05:02,906][ INFO][PID:2756230] Calling '/bin/sign -4 -h sha256 -u djdelorie#libffi-3.5.1@copr.fedorahosted.org -r /var/lib/copr/public_html/results/djdelorie/libffi-3.5.1/fedora-rawhide-x86_64/09151232-Agda/ghc-pqueue-devel-1.5.0.0-54.fc43.x86_64.rpm' (attempt #1) [2025-06-11 01:05:03,596][ INFO][PID:2756230] signed rpm: /var/lib/copr/public_html/results/djdelorie/libffi-3.5.1/fedora-rawhide-x86_64/09151232-Agda/ghc-pqueue-devel-1.5.0.0-54.fc43.x86_64.rpm [2025-06-11 01:05:03,597][ INFO][PID:2756230] Calling '/bin/sign -4 -h sha256 -u djdelorie#libffi-3.5.1@copr.fedorahosted.org -r /var/lib/copr/public_html/results/djdelorie/libffi-3.5.1/fedora-rawhide-x86_64/09151232-Agda/ghc-peano-prof-0.1.0.2-54.fc43.x86_64.rpm' (attempt #1) [2025-06-11 01:05:04,142][ INFO][PID:2756230] signed rpm: /var/lib/copr/public_html/results/djdelorie/libffi-3.5.1/fedora-rawhide-x86_64/09151232-Agda/ghc-peano-prof-0.1.0.2-54.fc43.x86_64.rpm [2025-06-11 01:05:04,143][ INFO][PID:2756230] Calling '/bin/sign -4 -h sha256 -u djdelorie#libffi-3.5.1@copr.fedorahosted.org -r /var/lib/copr/public_html/results/djdelorie/libffi-3.5.1/fedora-rawhide-x86_64/09151232-Agda/Agda-2.7.0.1-54.fc43.x86_64.rpm' (attempt #1) [2025-06-11 01:05:04,837][ INFO][PID:2756230] signed rpm: /var/lib/copr/public_html/results/djdelorie/libffi-3.5.1/fedora-rawhide-x86_64/09151232-Agda/Agda-2.7.0.1-54.fc43.x86_64.rpm [2025-06-11 01:05:04,839][ INFO][PID:2756230] Calling '/bin/sign -4 -h sha256 -u djdelorie#libffi-3.5.1@copr.fedorahosted.org -r /var/lib/copr/public_html/results/djdelorie/libffi-3.5.1/fedora-rawhide-x86_64/09151232-Agda/ghc-Agda-devel-2.7.0.1-54.fc43.x86_64.rpm' (attempt #1) [2025-06-11 01:05:05,627][ INFO][PID:2756230] signed rpm: /var/lib/copr/public_html/results/djdelorie/libffi-3.5.1/fedora-rawhide-x86_64/09151232-Agda/ghc-Agda-devel-2.7.0.1-54.fc43.x86_64.rpm [2025-06-11 01:05:05,629][ INFO][PID:2756230] Calling '/bin/sign -4 -h sha256 -u djdelorie#libffi-3.5.1@copr.fedorahosted.org -r /var/lib/copr/public_html/results/djdelorie/libffi-3.5.1/fedora-rawhide-x86_64/09151232-Agda/ghc-peano-devel-0.1.0.2-54.fc43.x86_64.rpm' (attempt #1) [2025-06-11 01:05:06,170][ INFO][PID:2756230] signed rpm: /var/lib/copr/public_html/results/djdelorie/libffi-3.5.1/fedora-rawhide-x86_64/09151232-Agda/ghc-peano-devel-0.1.0.2-54.fc43.x86_64.rpm [2025-06-11 01:05:06,171][ INFO][PID:2756230] Calling '/bin/sign -4 -h sha256 -u djdelorie#libffi-3.5.1@copr.fedorahosted.org -r /var/lib/copr/public_html/results/djdelorie/libffi-3.5.1/fedora-rawhide-x86_64/09151232-Agda/ghc-pqueue-prof-1.5.0.0-54.fc43.x86_64.rpm' (attempt #1) [2025-06-11 01:05:06,864][ INFO][PID:2756230] signed rpm: /var/lib/copr/public_html/results/djdelorie/libffi-3.5.1/fedora-rawhide-x86_64/09151232-Agda/ghc-pqueue-prof-1.5.0.0-54.fc43.x86_64.rpm [2025-06-11 01:05:06,866][ INFO][PID:2756230] Calling '/bin/sign -4 -h sha256 -u djdelorie#libffi-3.5.1@copr.fedorahosted.org -r /var/lib/copr/public_html/results/djdelorie/libffi-3.5.1/fedora-rawhide-x86_64/09151232-Agda/ghc-peano-doc-0.1.0.2-54.fc43.noarch.rpm' (attempt #1) [2025-06-11 01:05:07,694][ INFO][PID:2756230] signed rpm: /var/lib/copr/public_html/results/djdelorie/libffi-3.5.1/fedora-rawhide-x86_64/09151232-Agda/ghc-peano-doc-0.1.0.2-54.fc43.noarch.rpm [2025-06-11 01:05:07,696][ INFO][PID:2756230] Calling '/bin/sign -4 -h sha256 -u djdelorie#libffi-3.5.1@copr.fedorahosted.org -r /var/lib/copr/public_html/results/djdelorie/libffi-3.5.1/fedora-rawhide-x86_64/09151232-Agda/ghc-Agda-doc-2.7.0.1-54.fc43.noarch.rpm' (attempt #1) [2025-06-11 01:05:08,640][ INFO][PID:2756230] signed rpm: /var/lib/copr/public_html/results/djdelorie/libffi-3.5.1/fedora-rawhide-x86_64/09151232-Agda/ghc-Agda-doc-2.7.0.1-54.fc43.noarch.rpm [2025-06-11 01:05:08,641][ INFO][PID:2756230] Calling '/bin/sign -4 -h sha256 -u djdelorie#libffi-3.5.1@copr.fedorahosted.org -r /var/lib/copr/public_html/results/djdelorie/libffi-3.5.1/fedora-rawhide-x86_64/09151232-Agda/ghc-murmur-hash-0.1.0.11-54.fc43.x86_64.rpm' (attempt #1) [2025-06-11 01:05:09,321][ INFO][PID:2756230] signed rpm: /var/lib/copr/public_html/results/djdelorie/libffi-3.5.1/fedora-rawhide-x86_64/09151232-Agda/ghc-murmur-hash-0.1.0.11-54.fc43.x86_64.rpm [2025-06-11 01:05:09,322][ INFO][PID:2756230] Calling '/bin/sign -4 -h sha256 -u djdelorie#libffi-3.5.1@copr.fedorahosted.org -r /var/lib/copr/public_html/results/djdelorie/libffi-3.5.1/fedora-rawhide-x86_64/09151232-Agda/ghc-vector-hashtables-0.1.2.0-54.fc43.x86_64.rpm' (attempt #1) [2025-06-11 01:05:10,148][ INFO][PID:2756230] signed rpm: /var/lib/copr/public_html/results/djdelorie/libffi-3.5.1/fedora-rawhide-x86_64/09151232-Agda/ghc-vector-hashtables-0.1.2.0-54.fc43.x86_64.rpm [2025-06-11 01:05:10,149][ INFO][PID:2756230] Calling '/bin/sign -4 -h sha256 -u djdelorie#libffi-3.5.1@copr.fedorahosted.org -r /var/lib/copr/public_html/results/djdelorie/libffi-3.5.1/fedora-rawhide-x86_64/09151232-Agda/ghc-pqueue-doc-1.5.0.0-54.fc43.noarch.rpm' (attempt #1) [2025-06-11 01:05:10,836][ INFO][PID:2756230] signed rpm: /var/lib/copr/public_html/results/djdelorie/libffi-3.5.1/fedora-rawhide-x86_64/09151232-Agda/ghc-pqueue-doc-1.5.0.0-54.fc43.noarch.rpm [2025-06-11 01:05:10,838][ INFO][PID:2756230] Calling '/bin/sign -4 -h sha256 -u djdelorie#libffi-3.5.1@copr.fedorahosted.org -r /var/lib/copr/public_html/results/djdelorie/libffi-3.5.1/fedora-rawhide-x86_64/09151232-Agda/ghc-murmur-hash-prof-0.1.0.11-54.fc43.x86_64.rpm' (attempt #1) [2025-06-11 01:05:11,664][ INFO][PID:2756230] signed rpm: /var/lib/copr/public_html/results/djdelorie/libffi-3.5.1/fedora-rawhide-x86_64/09151232-Agda/ghc-murmur-hash-prof-0.1.0.11-54.fc43.x86_64.rpm [2025-06-11 01:05:11,666][ INFO][PID:2756230] Calling '/bin/sign -4 -h sha256 -u djdelorie#libffi-3.5.1@copr.fedorahosted.org -r /var/lib/copr/public_html/results/djdelorie/libffi-3.5.1/fedora-rawhide-x86_64/09151232-Agda/ghc-murmur-hash-devel-0.1.0.11-54.fc43.x86_64.rpm' (attempt #1) [2025-06-11 01:05:12,347][ INFO][PID:2756230] signed rpm: /var/lib/copr/public_html/results/djdelorie/libffi-3.5.1/fedora-rawhide-x86_64/09151232-Agda/ghc-murmur-hash-devel-0.1.0.11-54.fc43.x86_64.rpm [2025-06-11 01:05:12,349][ INFO][PID:2756230] Calling '/bin/sign -4 -h sha256 -u djdelorie#libffi-3.5.1@copr.fedorahosted.org -r /var/lib/copr/public_html/results/djdelorie/libffi-3.5.1/fedora-rawhide-x86_64/09151232-Agda/Agda-common-2.7.0.1-54.fc43.noarch.rpm' (attempt #1) [2025-06-11 01:05:13,189][ INFO][PID:2756230] signed rpm: /var/lib/copr/public_html/results/djdelorie/libffi-3.5.1/fedora-rawhide-x86_64/09151232-Agda/Agda-common-2.7.0.1-54.fc43.noarch.rpm [2025-06-11 01:05:13,190][ INFO][PID:2756230] Calling '/bin/sign -4 -h sha256 -u djdelorie#libffi-3.5.1@copr.fedorahosted.org -r /var/lib/copr/public_html/results/djdelorie/libffi-3.5.1/fedora-rawhide-x86_64/09151232-Agda/ghc-murmur-hash-doc-0.1.0.11-54.fc43.noarch.rpm' (attempt #1) [2025-06-11 01:05:14,024][ INFO][PID:2756230] signed rpm: /var/lib/copr/public_html/results/djdelorie/libffi-3.5.1/fedora-rawhide-x86_64/09151232-Agda/ghc-murmur-hash-doc-0.1.0.11-54.fc43.noarch.rpm [2025-06-11 01:05:14,026][ INFO][PID:2756230] Sign done [2025-06-11 01:05:14,027][ INFO][PID:2756230] Incremental createrepo run, adding 09151232-Agda into https://download.copr.fedorainfracloud.org/results/djdelorie/libffi-3.5.1/fedora-rawhide-x86_64, (auto-create-repo=True) [2025-06-11 01:05:14,029][ INFO][PID:2756230] Running command 'copr-repo --batched /var/lib/copr/public_html/results/djdelorie/libffi-3.5.1/fedora-rawhide-x86_64 --add 09151232-Agda --no-appstream-metadata' as PID 2817375 [2025-06-11 01:05:14,940][ INFO][PID:2756230] Finished after 0 seconds with exit code 0 (copr-repo --batched /var/lib/copr/public_html/results/djdelorie/libffi-3.5.1/fedora-rawhide-x86_64 --add 09151232-Agda --no-appstream-metadata) [2025-06-11 01:05:14,942][ INFO][PID:2756230] Getting build details [2025-06-11 01:05:14,943][ INFO][PID:2756230] Listing built binary packages in /var/lib/copr/public_html/results/djdelorie/libffi-3.5.1/fedora-rawhide-x86_64/09151232-Agda [2025-06-11 01:05:14,945][ INFO][PID:2756230] Built packages: ['Agda 2.7.0.1', 'ghc-murmur-hash 0.1.0.11', 'ghc-vector-hashtables-devel 0.1.2.0', 'ghc-murmur-hash-prof 0.1.0.11', 'ghc-pqueue-doc 1.5.0.0', 'ghc-Agda-doc 2.7.0.1', 'ghc-pqueue-devel 1.5.0.0', 'ghc-vector-hashtables-prof 0.1.2.0', 'ghc-vector-hashtables-doc 0.1.2.0', 'ghc-pqueue 1.5.0.0', 'ghc-pqueue-prof 1.5.0.0', 'ghc-Agda-devel 2.7.0.1', 'Agda-common 2.7.0.1', 'ghc-murmur-hash-doc 0.1.0.11', 'ghc-peano 0.1.0.2', 'ghc-murmur-hash-devel 0.1.0.11', 'ghc-peano-doc 0.1.0.2', 'ghc-peano-devel 0.1.0.2', 'ghc-Agda 2.7.0.1', 'ghc-vector-hashtables 0.1.2.0', 'ghc-peano-prof 0.1.0.2', 'ghc-Agda-prof 2.7.0.1'] [2025-06-11 01:05:14,946][ INFO][PID:2756230] build details: {'built_packages': 'Agda 2.7.0.1\nghc-murmur-hash 0.1.0.11\nghc-vector-hashtables-devel 0.1.2.0\nghc-murmur-hash-prof 0.1.0.11\nghc-pqueue-doc 1.5.0.0\nghc-Agda-doc 2.7.0.1\nghc-pqueue-devel 1.5.0.0\nghc-vector-hashtables-prof 0.1.2.0\nghc-vector-hashtables-doc 0.1.2.0\nghc-pqueue 1.5.0.0\nghc-pqueue-prof 1.5.0.0\nghc-Agda-devel 2.7.0.1\nAgda-common 2.7.0.1\nghc-murmur-hash-doc 0.1.0.11\nghc-peano 0.1.0.2\nghc-murmur-hash-devel 0.1.0.11\nghc-peano-doc 0.1.0.2\nghc-peano-devel 0.1.0.2\nghc-Agda 2.7.0.1\nghc-vector-hashtables 0.1.2.0\nghc-peano-prof 0.1.0.2\nghc-Agda-prof 2.7.0.1'} [2025-06-11 01:05:14,948][ INFO][PID:2756230] Retrieving pubkey [2025-06-11 01:05:14,949][ INFO][PID:2756230] Calling '/bin/sign -u djdelorie#libffi-3.5.1@copr.fedorahosted.org -p' (attempt #1) [2025-06-11 01:05:15,269][ INFO][PID:2756230] Added pubkey for user djdelorie project libffi-3.5.1 into: /var/lib/copr/public_html/results/djdelorie/libffi-3.5.1/pubkey.gpg [2025-06-11 01:05:15,270][ INFO][PID:2756230] Finished build: id=9151232 failed=False timeout=115200 destdir=/var/lib/copr/public_html/results/djdelorie/libffi-3.5.1 chroot=fedora-rawhide-x86_64 [2025-06-11 01:05:15,277][ INFO][PID:2756230] Worker succeeded build, took 891.9678854942322 [2025-06-11 01:05:15,278][ INFO][PID:2756230] Sending build state back to frontend: { "builds": [ { "timeout": 115200, "frontend_base_url": "https://copr.fedorainfracloud.org", "memory_reqs": 2048, "enable_net": false, "project_owner": "djdelorie", "project_name": "libffi-3.5.1", "project_dirname": "libffi-3.5.1", "submitter": "djdelorie", "ended_on": 1749603915.277029, "started_on": 1749603023.3091435, "submitted_on": null, "status": 1, "chroot": "fedora-rawhide-x86_64", "arch": "x86_64", "buildroot_pkgs": [], "task_id": "9151232-fedora-rawhide-x86_64", "build_id": 9151232, "package_name": "Agda", "package_version": "2.7.0.1-54", "git_repo": "https://copr-dist-git.fedorainfracloud.org/git/djdelorie/libffi-3.5.1/Agda", "git_hash": "a28963409ffbf73839af275170651783ed296fd5", "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": "djdelorie/libffi-3.5.1--djdelorie", "results": { "packages": [ { "name": "Agda", "epoch": null, "version": "2.7.0.1", "release": "54.fc43", "arch": "x86_64" }, { "name": "ghc-murmur-hash", "epoch": null, "version": "0.1.0.11", "release": "54.fc43", "arch": "x86_64" }, { "name": "ghc-vector-hashtables-devel", "epoch": null, "version": "0.1.2.0", "release": "54.fc43", "arch": "x86_64" }, { "name": "ghc-murmur-hash-prof", "epoch": null, "version": "0.1.0.11", "release": "54.fc43", "arch": "x86_64" }, { "name": "ghc-pqueue-doc", "epoch": null, "version": "1.5.0.0", "release": "54.fc43", "arch": "noarch" }, { "name": "ghc-Agda-doc", "epoch": null, "version": "2.7.0.1", "release": "54.fc43", "arch": "noarch" }, { "name": "ghc-pqueue-devel", "epoch": null, "version": "1.5.0.0", "release": "54.fc43", "arch": "x86_64" }, { "name": "ghc-vector-hashtables-prof", "epoch": null, "version": "0.1.2.0", "release": "54.fc43", "arch": "x86_64" }, { "name": "ghc-vector-hashtables-doc", "epoch": null, "version": "0.1.2.0", "release": "54.fc43", "arch": "noarch" }, { "name": "ghc-pqueue", "epoch": null, "version": "1.5.0.0", "release": "54.fc43", "arch": "x86_64" }, { "name": "ghc-pqueue-prof", "epoch": null, "version": "1.5.0.0", "release": "54.fc43", "arch": "x86_64" }, { "name": "ghc-Agda-devel", "epoch": null, "version": "2.7.0.1", "release": "54.fc43", "arch": "x86_64" }, { "name": "Agda-common", "epoch": null, "version": "2.7.0.1", "release": "54.fc43", "arch": "noarch" }, { "name": "ghc-murmur-hash-doc", "epoch": null, "version": "0.1.0.11", "release": "54.fc43", "arch": "noarch" }, { "name": "ghc-peano", "epoch": null, "version": "0.1.0.2", "release": "54.fc43", "arch": "x86_64" }, { "name": "ghc-murmur-hash-devel", "epoch": null, "version": "0.1.0.11", "release": "54.fc43", "arch": "x86_64" }, { "name": "Agda", "epoch": null, "version": "2.7.0.1", "release": "54.fc43", "arch": "src" }, { "name": "ghc-peano-doc", "epoch": null, "version": "0.1.0.2", "release": "54.fc43", "arch": "noarch" }, { "name": "ghc-peano-devel", "epoch": null, "version": "0.1.0.2", "release": "54.fc43", "arch": "x86_64" }, { "name": "ghc-Agda", "epoch": null, "version": "2.7.0.1", "release": "54.fc43", "arch": "x86_64" }, { "name": "ghc-vector-hashtables", "epoch": null, "version": "0.1.2.0", "release": "54.fc43", "arch": "x86_64" }, { "name": "ghc-peano-prof", "epoch": null, "version": "0.1.0.2", "release": "54.fc43", "arch": "x86_64" }, { "name": "ghc-Agda-prof", "epoch": null, "version": "2.7.0.1", "release": "54.fc43", "arch": "x86_64" } ] }, "appstream": false, "allow_user_ssh": false, "ssh_public_keys": null, "storage": 0, "background": true, "fedora_review": false, "isolation": "default", "repo_priority": null, "repos": [ { "baseurl": "https://download.copr.fedorainfracloud.org/results/djdelorie/libffi-3.5.1/fedora-rawhide-x86_64/", "id": "copr_base", "name": "Copr repository", "priority": null } ], "tags": [ "arch_x86_64" ], "with_opts": [], "without_opts": [], "destdir": "/var/lib/copr/public_html/results/djdelorie/libffi-3.5.1", "results_repo_url": "https://download.copr.fedorainfracloud.org/results/djdelorie/libffi-3.5.1", "result_dir": "09151232-Agda", "built_packages": "Agda 2.7.0.1\nghc-murmur-hash 0.1.0.11\nghc-vector-hashtables-devel 0.1.2.0\nghc-murmur-hash-prof 0.1.0.11\nghc-pqueue-doc 1.5.0.0\nghc-Agda-doc 2.7.0.1\nghc-pqueue-devel 1.5.0.0\nghc-vector-hashtables-prof 0.1.2.0\nghc-vector-hashtables-doc 0.1.2.0\nghc-pqueue 1.5.0.0\nghc-pqueue-prof 1.5.0.0\nghc-Agda-devel 2.7.0.1\nAgda-common 2.7.0.1\nghc-murmur-hash-doc 0.1.0.11\nghc-peano 0.1.0.2\nghc-murmur-hash-devel 0.1.0.11\nghc-peano-doc 0.1.0.2\nghc-peano-devel 0.1.0.2\nghc-Agda 2.7.0.1\nghc-vector-hashtables 0.1.2.0\nghc-peano-prof 0.1.0.2\nghc-Agda-prof 2.7.0.1", "id": 9151232, "mockchain_macros": { "copr_username": "djdelorie", "copr_projectname": "libffi-3.5.1", "vendor": "Fedora Project COPR (djdelorie/libffi-3.5.1)" } } ] } [2025-06-11 01:05:15,318][ INFO][PID:2756230] Sending fedora-messaging bus message in build.end [2025-06-11 01:05:15,335][ INFO][PID:2756230] Compressing /var/lib/copr/public_html/results/djdelorie/libffi-3.5.1/fedora-rawhide-x86_64/09151232-Agda/builder-live.log by gzip [2025-06-11 01:05:15,337][ INFO][PID:2756230] Running command 'gzip /var/lib/copr/public_html/results/djdelorie/libffi-3.5.1/fedora-rawhide-x86_64/09151232-Agda/builder-live.log' as PID 2817428 [2025-06-11 01:05:15,372][ INFO][PID:2756230] Finished after 0 seconds with exit code 0 (gzip /var/lib/copr/public_html/results/djdelorie/libffi-3.5.1/fedora-rawhide-x86_64/09151232-Agda/builder-live.log) [2025-06-11 01:05:15,373][ INFO][PID:2756230] Compressing /var/lib/copr/public_html/results/djdelorie/libffi-3.5.1/fedora-rawhide-x86_64/09151232-Agda/backend.log by gzip [2025-06-11 01:05:15,375][ INFO][PID:2756230] Running command 'gzip /var/lib/copr/public_html/results/djdelorie/libffi-3.5.1/fedora-rawhide-x86_64/09151232-Agda/backend.log' as PID 2817431