3275 21 1849k 21 391k 0 0 22659 0 0:01:23 0:00:17 0:01:06 32906 25 1849k 25 471k 0 0 25798 0 0:01:13 0:00:18 0:00:55 43719 30 1849k 30 567k 0 0 29561 0 0:01:04 0:00:19 0:00:45 58935 39 1849k 39 735k 0 0 36429 0 0:00:51 0:00:20 0:00:31 90512 46 1849k 46 863k 0 0 40712 0 0:00:46 0:00:21 0:00:25 106k 53 1849k 53 991k 0 0 44810 0 0:00:42 0:00:22 0:00:20 120k 59 1849k 59 1103k 0 0 47484 0 0:00:39 0:00:23 0:00:16 124k 63 1849k 63 1167k 0 0 48448 0 0:00:39 0:00:24 0:00:15 119k 67 1849k 67 1247k 0 0 49660 0 0:00:38 0:00:25 0:00:13 101k 70 1849k 70 1295k 0 0 49750 0 0:00:38 0:00:26 0:00:12 89448 76 1849k 76 1407k 0 0 52057 0 0:00:36 0:00:27 0:00:09 84725 79 1849k 79 1471k 0 0 52558 0 0:00:36 0:00:28 0:00:08 77332 82 1849k 82 1519k 0 0 52443 0 0:00:36 0:00:29 0:00:07 72190 84 1849k 84 1567k 0 0 52338 0 0:00:36 0:00:30 0:00:06 66268 87 1849k 87 1615k 0 0 52210 0 0:00:36 0:00:31 0:00:05 65293 89 1849k 89 1663k 0 0 52152 0 0:00:36 0:00:32 0:00:04 52671 91 1849k 91 1695k 0 0 51541 0 0:00:36 0:00:33 0:00:03 45728 93 1849k 93 1727k 0 0 51009 0 0:00:37 0:00:34 0:00:03 42523 96 1849k 96 1775k 0 0 50791 0 0:00:37 0:00:35 0:00:02 41533 97 1849k 97 1807k 0 0 50302 0 0:00:37 0:00:36 0:00:01 38475 100 1849k 100 1849k 0 0 50595 0 0:00:37 0:00:37 --:--:-- 39909 % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 0 0 0 0 0 0 0 0 --:--:-- 0:00:01 --:--:-- 0 100 4327 100 4327 0 0 2753 0 0:00:01 0:00:01 --:--:-- 2754 % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 0 0 0 0 0 0 0 0 --:--:-- 0:00:01 --:--:-- 0 100 2915 100 2915 0 0 2461 0 0:00:01 0:00:01 --:--:-- 2464 % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 15718 100 15718 0 0 24030 0 --:--:-- --:--:-- --:--:-- 24033 Agda-2.6.4.1.tar.gz: OK murmur-hash-0.1.0.10.tar.gz: OK peano-0.1.0.2.tar.gz: OK vector-hashtables-0.1.1.3.tar.gz: OK Finish: chroot ['fedpkg', 'sources'] 2024-02-17 10:40:27,253 [INFO] {620959} koji.build.buildroot:564 Running mock as kojibuilder INFO: mock.py version 5.0 starting (python version = 3.11.5, NVR = mock-5.0-1.fc38)... Start: init plugins INFO: selinux disabled Finish: init plugins INFO: Signal handler active Start: run INFO: Start(/var/lib/mock/f40-build-777281-129331/root/chroot_tmpdir/scmroot/Agda/Agda.spec) Config(f40-build-777281-129331) Mock Version: 5.0 INFO: Mock Version: 5.0 Start: chroot init INFO: calling preinit hooks INFO: enabled HW Info plugin INFO: Package manager dnf detected and used (fallback) Finish: chroot init Start: buildsrpm Start: rpmbuild -bs Finish: rpmbuild -bs Finish: buildsrpm INFO: Done(/var/lib/mock/f40-build-777281-129331/root/chroot_tmpdir/scmroot/Agda/Agda.spec) Config(koji/f40-build-777281-129331) 0 minutes 8 seconds INFO: Results and/or logs in: /var/lib/mock/f40-build-777281-129331/result Finish: run