[riscv-reports] [#10489] DONE srpm=ProofGeneral-3.7.1-alt1.src.rpm

[Girar pender robot]

http://git.altlinux.org/tasks/archive/done/_10/10489/logs/events.1.2.log

2021-Oct-30 08:36:03 :: task #10489 for sisyphus_riscv64 started by recycler:
#100 build ProofGeneral-3.7.1-alt1.src.rpm
2021-Oct-30 08:36:04 :: [riscv64] #100 ProofGeneral-3.7.1-alt1.src.rpm: build start
2021-Oct-30 08:36:43 :: [riscv64] ProofGeneral-3.7.1-alt1.src.rpm: remote: no need to rebuild
2021-Oct-30 08:36:43 :: [riscv64] #100 ProofGeneral-3.7.1-alt1.src.rpm: build OK
riscv64/srpm/ProofGeneral-3.7.1-alt1.src.rpm: bad symbols in the license tag: ,
riscv64/rpms/ProofGeneral-3.7.1-alt1.noarch.rpm: bad symbols in the license tag: ,
2021-Oct-30 08:36:43 :: #100: ProofGeneral-3.7.1-alt1.src.rpm: build check OK
2021-Oct-30 08:36:44 :: build check OK
2021-Oct-30 08:36:44 :: noarch check OK
2021-Oct-30 08:36:44 :: plan: src +1 -1 =7330, noarch +1 -1 =7224
2021-Oct-30 08:36:44 :: version check OK
2021-Oct-30 08:37:03 :: generated apt indices
2021-Oct-30 08:37:03 :: created next repo
2021-Oct-30 08:37:10 :: dependencies check OK
2021-Oct-30 08:37:14 :: [riscv64.2] #100 ProofGeneral: install check start
	riscv64: ProofGeneral=3.7.1-alt1 post-install unowned files:
/etc/emacs
/etc/emacs/site-start.d
/usr/share/emacs
/usr/share/emacs/site-lisp
/usr/share/emacs/site-lisp/proofgeneral
2021-Oct-30 08:37:45 :: [riscv64] #100 ProofGeneral: no need to repeat, install check SKIPPED
2021-Oct-30 08:37:47 :: gears inheritance check OK
2021-Oct-30 08:37:47 :: srpm inheritance check OK
girar-check-perms: access to ProofGeneral ALLOWED for recycler: project `ProofGeneral' is not listed in acl file for repository `sisyphus_riscv64'
2021-Oct-30 08:37:47 :: acl check OK
2021-Oct-30 08:38:01 :: created contents_index files
2021-Oct-30 08:38:02 :: created hash files: noarch src
2021-Oct-30 08:38:03 :: task #10489 for sisyphus_riscv64 TESTED
2021-Oct-30 08:38:04 :: task is ready for commit
2021-Oct-30 08:38:05 :: repo clone OK
2021-Oct-30 08:38:05 :: packages update OK
2021-Oct-30 08:38:06 :: [noarch] update OK
2021-Oct-30 08:38:06 :: repo update OK
2021-Oct-30 08:38:08 :: repo save OK
2021-Oct-30 08:38:16 :: created /srpms/P/ProofGeneral.git branch `sisyphus_riscv64'
2021-Oct-30 08:38:17 :: gears update OK
2021-Oct-30 08:38:17 :: task #10489 for sisyphus_riscv64 DONE