[#222098] DONE (try 2) yices.git=2.3.0-alt3
Girar Builder pender robot
girar-builder at altlinux.org
Wed Feb 20 01:27:36 MSK 2019
http://git.altlinux.org/tasks/archive/done/_216/222098/logs/events.2.1.log
2019-Feb-19 22:26:58 :: task is ready for commit
2019-Feb-19 22:27:05 :: repo clone OK
2019-Feb-19 22:27:06 :: packages update OK
2019-Feb-19 22:27:10 :: [x86_64 i586 aarch64 noarch] update OK
2019-Feb-19 22:27:10 :: [x86_64-i586] update OK
2019-Feb-19 22:27:10 :: repo update OK
2019-Feb-19 22:27:34 :: repo save OK
2019-Feb-19 22:27:34 :: updated /gears/y/yices.git branch `sisyphus'
2019-Feb-19 22:27:35 :: gears update OK
2019-Feb-19 22:27:36 :: ACL for orphaned project `yices' assigned to user `glebfm'
2019-Feb-19 22:27:36 :: task #222098 for sisyphus DONE
More information about the Sisyphus-incominger
mailing list