[2024-05-25 05:10:47,163][  INFO][PID:15806] Marking build as starting
[2024-05-25 05:10:47,214][  INFO][PID:15806] Trying to allocate VM
[2024-05-25 05:10:50,255][  INFO][PID:15806] Allocated host ResallocHost, ticket_id=2934961, hostname=2620:52:3:1:dead:beef:cafe:c1cc
[2024-05-25 05:10:50,256][  INFO][PID:15806] Allocating ssh connection to builder
[2024-05-25 05:10:50,256][  INFO][PID:15806] Checking that builder machine is OK
[2024-05-25 05:10:50,826][  INFO][PID:15806] Popen command started: ssh -F /home/copr/.ssh/config mockbuilder@2620:52:3:1:dead:beef:cafe:c1cc '/usr/bin/test -f /etc/mock/fedora-40-x86_64.cfg'
[2024-05-25 05:10:51,141][  INFO][PID:15806] Filling build.info file with builder info
[2024-05-25 05:10:51,142][  INFO][PID:15806] Sending build state back to frontend: {
    "builds": [
        {
            "timeout": 18000,
            "frontend_base_url": "https://copr.fedorainfracloud.org",
            "memory_reqs": 2048,
            "enable_net": false,
            "project_owner": "petersen",
            "project_name": "lean4",
            "project_dirname": "lean4",
            "submitter": "petersen",
            "ended_on": null,
            "started_on": 1716613851.1425734,
            "submitted_on": null,
            "status": 3,
            "chroot": "fedora-40-x86_64",
            "arch": "x86_64",
            "buildroot_pkgs": [],
            "task_id": "7489078-fedora-40-x86_64",
            "build_id": 7489078,
            "package_name": "lean4-rc",
            "package_version": "4.8.0~rc2-1",
            "git_repo": "https://copr-dist-git.fedorainfracloud.org/git/petersen/lean4/lean4-rc",
            "git_hash": "0b68e1c62b4cdc320ff0730cf29efb0e2a78c193",
            "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,
            "background": false,
            "fedora_review": false,
            "isolation": "default",
            "repo_priority": null,
            "repos": [
                {
                    "baseurl": "https://download.copr.fedorainfracloud.org/results/petersen/lean4/fedora-40-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/petersen/lean4",
            "results_repo_url": "https://download.copr.fedorainfracloud.org/results/petersen/lean4",
            "result_dir": "07489078-lean4-rc",
            "built_packages": "",
            "id": 7489078,
            "mockchain_macros": {
                "copr_username": "petersen",
                "copr_projectname": "lean4",
                "vendor": "Fedora Project COPR (petersen/lean4)"
            }
        }
    ]
}
[2024-05-25 05:10:51,190][  INFO][PID:15806] Sending fedora-messaging bus message in build.start
[2024-05-25 05:10:51,841][  INFO][PID:15806] Sending fedora-messaging bus message in chroot.start
[2024-05-25 05:10:51,865][  INFO][PID:15806] Starting remote build: copr-rpmbuild --verbose --drop-resultdir --task-url https://copr.fedorainfracloud.org/backend/get-build-task/7489078-fedora-40-x86_64 --chroot fedora-40-x86_64 --detached
[2024-05-25 05:10:52,438][  INFO][PID:15806] Downloading the builder-live.log file, attempt 1
[2024-05-25 05:10:52,440][  INFO][PID:15806] Popen command started: ssh -F /home/copr/.ssh/config mockbuilder@2620:52:3:1:dead:beef:cafe:c1cc copr-rpmbuild-log
[2024-05-25 05:10:57,444][  INFO][PID:15806] Status: False
[2024-05-25 05:20:57,530][  INFO][PID:15806] Status: False
[2024-05-25 05:30:57,614][  INFO][PID:15806] Status: False
[2024-05-25 05:40:57,703][  INFO][PID:15806] Status: False
[2024-05-25 05:50:57,784][  INFO][PID:15806] Status: False
[2024-05-25 05:57:18,458][  INFO][PID:15806] Downloading results from builder
[2024-05-25 05:57:18,459][  INFO][PID:15806] rsyncing of mockbuilder@[2620:52:3:1:dead:beef:cafe:c1cc]:/var/lib/copr-rpmbuild/results/ to /var/lib/copr/public_html/results/petersen/lean4/fedora-40-x86_64/07489078-lean4-rc started
[2024-05-25 05:57:18,460][  INFO][PID:15806] 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:c1cc]:/var/lib/copr-rpmbuild/results/ /var/lib/copr/public_html/results/petersen/lean4/fedora-40-x86_64/07489078-lean4-rc/ &> /var/lib/copr/public_html/results/petersen/lean4/fedora-40-x86_64/07489078-lean4-rc/build-07489078.rsync.log
[2024-05-25 05:57:20,549][  INFO][PID:15806] rsyncing finished.
[2024-05-25 05:57:20,550][  INFO][PID:15806] Releasing VM back to pool
[2024-05-25 05:57:20,560][  INFO][PID:15806] Searching for 'success' file in resultdir
[2024-05-25 05:57:20,561][  INFO][PID:15806] Going to sign pkgs from source: 7489078-fedora-40-x86_64 in chroot: /var/lib/copr/public_html/results/petersen/lean4/fedora-40-x86_64
[2024-05-25 05:57:20,561][  INFO][PID:15806] Calling '/bin/sign -u petersen#lean4@copr.fedorahosted.org -p' (attempt #1)
[2024-05-25 05:57:20,852][  INFO][PID:15806] Calling '/bin/sign -4 -h sha256 -u petersen#lean4@copr.fedorahosted.org -r /var/lib/copr/public_html/results/petersen/lean4/fedora-40-x86_64/07489078-lean4-rc/lean4-rc-4.8.0~rc2-1.fc40.src.rpm' (attempt #1)
[2024-05-25 05:57:22,044][  INFO][PID:15806] signed rpm: /var/lib/copr/public_html/results/petersen/lean4/fedora-40-x86_64/07489078-lean4-rc/lean4-rc-4.8.0~rc2-1.fc40.src.rpm
[2024-05-25 05:57:22,045][  INFO][PID:15806] Calling '/bin/sign -4 -h sha256 -u petersen#lean4@copr.fedorahosted.org -r /var/lib/copr/public_html/results/petersen/lean4/fedora-40-x86_64/07489078-lean4-rc/lean4-rc-4.8.0~rc2-1.fc40.x86_64.rpm' (attempt #1)
[2024-05-25 05:57:25,553][  INFO][PID:15806] signed rpm: /var/lib/copr/public_html/results/petersen/lean4/fedora-40-x86_64/07489078-lean4-rc/lean4-rc-4.8.0~rc2-1.fc40.x86_64.rpm
[2024-05-25 05:57:25,554][  INFO][PID:15806] Calling '/bin/sign -4 -h sha256 -u petersen#lean4@copr.fedorahosted.org -r /var/lib/copr/public_html/results/petersen/lean4/fedora-40-x86_64/07489078-lean4-rc/lean4-rc-default-4.8.0~rc2-1.fc40.x86_64.rpm' (attempt #1)
[2024-05-25 05:57:26,404][  INFO][PID:15806] signed rpm: /var/lib/copr/public_html/results/petersen/lean4/fedora-40-x86_64/07489078-lean4-rc/lean4-rc-default-4.8.0~rc2-1.fc40.x86_64.rpm
[2024-05-25 05:57:26,405][  INFO][PID:15806] Sign done
[2024-05-25 05:57:26,405][  INFO][PID:15806] Incremental createrepo run, adding 07489078-lean4-rc into https://download.copr.fedorainfracloud.org/results/petersen/lean4/fedora-40-x86_64, (auto-create-repo=True)
[2024-05-25 05:57:26,406][  INFO][PID:15806] Running command 'copr-repo --batched /var/lib/copr/public_html/results/petersen/lean4/fedora-40-x86_64 --add 07489078-lean4-rc --no-appstream-metadata' as PID 92530
[2024-05-25 05:57:27,431][  INFO][PID:15806] Finished after 1 seconds with exit code 0 (copr-repo --batched /var/lib/copr/public_html/results/petersen/lean4/fedora-40-x86_64 --add 07489078-lean4-rc --no-appstream-metadata)
[2024-05-25 05:57:27,432][  INFO][PID:15806] Getting build details
[2024-05-25 05:57:27,433][  INFO][PID:15806] Listing built binary packages in /var/lib/copr/public_html/results/petersen/lean4/fedora-40-x86_64/07489078-lean4-rc
[2024-05-25 05:57:27,433][  INFO][PID:15806] Built packages:
['lean4-rc-default 4.8.0~rc2', 'lean4-rc 4.8.0~rc2']
[2024-05-25 05:57:27,434][  INFO][PID:15806] build details: {'built_packages': 'lean4-rc-default 4.8.0~rc2\nlean4-rc 4.8.0~rc2'}
[2024-05-25 05:57:27,434][  INFO][PID:15806] Retrieving pubkey
[2024-05-25 05:57:27,434][  INFO][PID:15806] Calling '/bin/sign -u petersen#lean4@copr.fedorahosted.org -p' (attempt #1)
[2024-05-25 05:57:27,721][  INFO][PID:15806] Added pubkey for user petersen project lean4 into: /var/lib/copr/public_html/results/petersen/lean4/pubkey.gpg
[2024-05-25 05:57:27,722][  INFO][PID:15806] Finished build: id=7489078 failed=False timeout=18000 destdir=/var/lib/copr/public_html/results/petersen/lean4 chroot=fedora-40-x86_64 
[2024-05-25 05:57:27,724][  INFO][PID:15806] Worker succeeded build, took 2796.5814645290375
[2024-05-25 05:57:27,725][  INFO][PID:15806] Sending build state back to frontend: {
    "builds": [
        {
            "timeout": 18000,
            "frontend_base_url": "https://copr.fedorainfracloud.org",
            "memory_reqs": 2048,
            "enable_net": false,
            "project_owner": "petersen",
            "project_name": "lean4",
            "project_dirname": "lean4",
            "submitter": "petersen",
            "ended_on": 1716616647.724038,
            "started_on": 1716613851.1425734,
            "submitted_on": null,
            "status": 1,
            "chroot": "fedora-40-x86_64",
            "arch": "x86_64",
            "buildroot_pkgs": [],
            "task_id": "7489078-fedora-40-x86_64",
            "build_id": 7489078,
            "package_name": "lean4-rc",
            "package_version": "4.8.0~rc2-1",
            "git_repo": "https://copr-dist-git.fedorainfracloud.org/git/petersen/lean4/lean4-rc",
            "git_hash": "0b68e1c62b4cdc320ff0730cf29efb0e2a78c193",
            "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-rc",
                        "epoch": null,
                        "version": "4.8.0~rc2",
                        "release": "1.fc40",
                        "arch": "src"
                    },
                    {
                        "name": "lean4-rc-default",
                        "epoch": null,
                        "version": "4.8.0~rc2",
                        "release": "1.fc40",
                        "arch": "x86_64"
                    },
                    {
                        "name": "lean4-rc",
                        "epoch": null,
                        "version": "4.8.0~rc2",
                        "release": "1.fc40",
                        "arch": "x86_64"
                    }
                ]
            },
            "appstream": false,
            "allow_user_ssh": false,
            "ssh_public_keys": null,
            "background": false,
            "fedora_review": false,
            "isolation": "default",
            "repo_priority": null,
            "repos": [
                {
                    "baseurl": "https://download.copr.fedorainfracloud.org/results/petersen/lean4/fedora-40-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/petersen/lean4",
            "results_repo_url": "https://download.copr.fedorainfracloud.org/results/petersen/lean4",
            "result_dir": "07489078-lean4-rc",
            "built_packages": "lean4-rc-default 4.8.0~rc2\nlean4-rc 4.8.0~rc2",
            "id": 7489078,
            "mockchain_macros": {
                "copr_username": "petersen",
                "copr_projectname": "lean4",
                "vendor": "Fedora Project COPR (petersen/lean4)"
            }
        }
    ]
}
[2024-05-25 05:57:27,779][  INFO][PID:15806] Sending fedora-messaging bus message in build.end
[2024-05-25 05:57:27,805][  INFO][PID:15806] Compressing /var/lib/copr/public_html/results/petersen/lean4/fedora-40-x86_64/07489078-lean4-rc/builder-live.log by gzip
[2024-05-25 05:57:27,807][  INFO][PID:15806] Running command 'gzip /var/lib/copr/public_html/results/petersen/lean4/fedora-40-x86_64/07489078-lean4-rc/builder-live.log' as PID 92593
[2024-05-25 05:57:27,847][  INFO][PID:15806] Finished after 0 seconds with exit code 0 (gzip /var/lib/copr/public_html/results/petersen/lean4/fedora-40-x86_64/07489078-lean4-rc/builder-live.log)
[2024-05-25 05:57:27,848][  INFO][PID:15806] Compressing /var/lib/copr/public_html/results/petersen/lean4/fedora-40-x86_64/07489078-lean4-rc/backend.log by gzip
[2024-05-25 05:57:27,849][  INFO][PID:15806] Running command 'gzip /var/lib/copr/public_html/results/petersen/lean4/fedora-40-x86_64/07489078-lean4-rc/backend.log' as PID 92596