2023-12-18 09:29:02,857 - Mock Version: 2.15
2023-12-18 09:29:04,405 - Start: dnf install
2023-12-18 09:33:24,984 - Finish: dnf install
2023-12-18 09:33:26,200 - Finish: chroot init
2023-12-18 09:33:26,696 - Finish: run
2023-12-18 09:33:36,127 - Mock Version: 2.15
2023-12-18 09:33:37,689 - Finish: chroot init
2023-12-18 09:33:37,713 - Start: chroot ['uname -r']
2023-12-18 09:33:37,807 - Finish: chroot ['uname -r']
2023-12-18 09:33:48,229 - Mock Version: 2.15
2023-12-18 09:33:51,925 - Finish: chroot init
2023-12-18 09:33:51,955 - Start: build phase for cbmc-5.95.1-1.fc40.src.rpm
2023-12-18 09:33:51,994 - Start: build setup for cbmc-5.95.1-1.fc40.src.rpm
2023-12-18 09:36:36,514 - Finish: build setup for cbmc-5.95.1-1.fc40.src.rpm
2023-12-18 09:36:36,521 - Start: rpmbuild cbmc-5.95.1-1.fc40.src.rpm
2023-12-18 15:15:18,938 - Finish: rpmbuild cbmc-5.95.1-1.fc40.src.rpm
2023-12-18 15:15:23,223 - Finish: build phase for cbmc-5.95.1-1.fc40.src.rpm
2023-12-18 15:15:23,293 - Finish: run