2022-02-10 00:15:33,862 - Mock Version: 2.15 2022-02-10 00:15:34,330 - Start: dnf install 2022-02-10 00:16:28,719 - Finish: dnf install 2022-02-10 00:16:29,018 - Finish: chroot init 2022-02-10 00:16:29,102 - Finish: run 2022-02-10 00:16:32,693 - Mock Version: 2.15 2022-02-10 00:16:33,198 - Finish: chroot init 2022-02-10 00:16:33,204 - Start: chroot ['uname -r'] 2022-02-10 00:16:33,232 - Finish: chroot ['uname -r'] 2022-02-10 00:16:39,081 - Mock Version: 2.15 2022-02-10 00:16:40,096 - Finish: chroot init 2022-02-10 00:16:40,102 - Start: build phase for cbmc-5.50.0-1.fc35.src.rpm 2022-02-10 00:16:40,110 - Start: build setup for cbmc-5.50.0-1.fc35.src.rpm 2022-02-10 00:17:10,581 - Finish: build setup for cbmc-5.50.0-1.fc35.src.rpm 2022-02-10 00:17:10,583 - Start: rpmbuild cbmc-5.50.0-1.fc35.src.rpm 2022-02-10 01:07:44,903 - Finish: rpmbuild cbmc-5.50.0-1.fc35.src.rpm 2022-02-10 01:07:45,194 - Finish: build phase for cbmc-5.50.0-1.fc35.src.rpm 2022-02-10 01:07:45,203 - Finish: run