From: "Girar pender (respublica)" <girar-builder@altlinux.org>
To: Leonid Znamenok <respublica@altlinux.org>
Cc: sisyphus-incominger@lists.altlinux.org,
girar-builder-sisyphus@altlinux.org
Subject: [#375147] DONE (try 2) coq.git=8.20.1-alt1
Date: Tue, 18 Feb 2025 17:49:02 +0000
Message-ID: <girar.task.375147.2.3@gyle.mskdc.altlinux.org> (raw)
In-Reply-To: <girar.task.375147.1.1@gyle.mskdc.altlinux.org>
https://git.altlinux.org/tasks/archive/done/_366/375147/logs/events.2.3.log
https://packages.altlinux.org/tasks/375147
2025-Feb-18 17:41:46 :: task #375147 for sisyphus resumed by respublica:
#100 build 8.20.1-alt1 from /people/respublica/packages/coq.git fetched at 2025-Feb-18 07:02:48
2025-Feb-18 17:41:49 :: [ppc64le] #100 coq.git 8.20.1-alt1: build start
2025-Feb-18 17:41:49 :: [i586] #100 coq.git 8.20.1-alt1: build start
2025-Feb-18 17:41:49 :: [aarch64] #100 coq.git 8.20.1-alt1: build start
2025-Feb-18 17:41:49 :: [x86_64] #100 coq.git 8.20.1-alt1: build start
2025-Feb-18 17:42:01 :: [i586] #100 coq.git 8.20.1-alt1: build SKIPPED
2025-Feb-18 17:42:02 :: [x86_64] #100 coq.git 8.20.1-alt1: build OK (cached)
2025-Feb-18 17:42:11 :: [aarch64] #100 coq.git 8.20.1-alt1: build OK (cached)
2025-Feb-18 17:42:13 :: [ppc64le] #100 coq.git 8.20.1-alt1: build SKIPPED
2025-Feb-18 17:42:34 :: #100: coq.git 8.20.1-alt1: build check OK
2025-Feb-18 17:42:35 :: build check OK
2025-Feb-18 17:43:49 :: noarch check OK
2025-Feb-18 17:43:51 :: plan: src +1 -1 =19855, aarch64 +7 -7 =34199, x86_64 +7 -7 =34979
#100 coq 8.20.0-alt1 -> 8.20.1-alt1
Tue Feb 18 2025 Leonid Znamenok <respublica@altlinux> 8.20.1-alt1
- New version 8.20.1.
2025-Feb-18 17:44:43 :: patched apt indices
2025-Feb-18 17:44:57 :: created next repo
2025-Feb-18 17:45:09 :: duplicate provides check OK
2025-Feb-18 17:45:49 :: dependencies check OK
2025-Feb-18 17:46:22 :: [x86_64 aarch64] ELF symbols check OK
x86_64: coq=8.20.1-alt1 post-install unowned files:
/usr/lib64/ocaml
2025-Feb-18 17:46:33 :: [x86_64] #100 coq: install check OK (cached)
x86_64: coq-coqide=8.20.1-alt1 post-install unowned files:
/usr/share/metainfo
2025-Feb-18 17:46:39 :: [x86_64] #100 coq-coqide: install check OK (cached)
aarch64: coq=8.20.1-alt1 post-install unowned files:
/usr/lib64/ocaml
2025-Feb-18 17:46:41 :: [aarch64] #100 coq: install check OK (cached)
2025-Feb-18 17:46:45 :: [x86_64] #100 coq-coqide-debuginfo: install check OK (cached)
2025-Feb-18 17:46:51 :: [x86_64] #100 coq-coqide-server: install check OK (cached)
aarch64: coq-coqide=8.20.1-alt1 post-install unowned files:
/usr/share/metainfo
2025-Feb-18 17:46:51 :: [aarch64] #100 coq-coqide: install check OK (cached)
2025-Feb-18 17:46:57 :: [x86_64] #100 coq-coqide-server-debuginfo: install check OK (cached)
2025-Feb-18 17:47:02 :: [aarch64] #100 coq-coqide-debuginfo: install check OK (cached)
x86_64: coq-core=8.20.1-alt1 post-install unowned files:
/usr/share/texmf
/usr/share/texmf/tex
/usr/share/texmf/tex/latex
/usr/share/texmf/tex/latex/misc
2025-Feb-18 17:47:02 :: [x86_64] #100 coq-core: install check OK (cached)
2025-Feb-18 17:47:08 :: [x86_64] #100 coq-core-debuginfo: install check OK (cached)
2025-Feb-18 17:47:12 :: [aarch64] #100 coq-coqide-server: install check OK (cached)
2025-Feb-18 17:47:22 :: [aarch64] #100 coq-coqide-server-debuginfo: install check OK (cached)
aarch64: coq-core=8.20.1-alt1 post-install unowned files:
/usr/share/texmf
/usr/share/texmf/tex
/usr/share/texmf/tex/latex
/usr/share/texmf/tex/latex/misc
2025-Feb-18 17:47:31 :: [aarch64] #100 coq-core: install check OK (cached)
2025-Feb-18 17:47:41 :: [aarch64] #100 coq-core-debuginfo: install check OK (cached)
2025-Feb-18 17:47:59 :: [x86_64-i586] generated apt indices
2025-Feb-18 17:47:59 :: [x86_64-i586] created next repo
2025-Feb-18 17:48:10 :: [x86_64-i586] dependencies check OK
2025-Feb-18 17:48:10 :: gears inheritance check OK
2025-Feb-18 17:48:11 :: srpm inheritance check OK
girar-check-perms: access to coq ALLOWED for respublica: project leader
check-subtask-perms: #100: coq: allowed for respublica
2025-Feb-18 17:48:11 :: acl check OK
2025-Feb-18 17:48:23 :: created contents_index files
2025-Feb-18 17:48:33 :: created hash files: aarch64 src x86_64
2025-Feb-18 17:48:36 :: task #375147 for sisyphus TESTED
2025-Feb-18 17:48:37 :: task is ready for commit
2025-Feb-18 17:48:42 :: repo clone OK
2025-Feb-18 17:48:42 :: packages update OK
2025-Feb-18 17:48:47 :: [x86_64 aarch64] update OK
2025-Feb-18 17:48:47 :: repo update OK
2025-Feb-18 17:48:58 :: repo save OK
2025-Feb-18 17:48:58 :: src index update OK
2025-Feb-18 17:48:58 :: updated /gears/c/coq.git branch `sisyphus'
2025-Feb-18 17:49:02 :: gears update OK
2025-Feb-18 17:49:02 :: task #375147 for sisyphus DONE
prev parent reply other threads:[~2025-02-18 17:49 UTC|newest]
Thread overview: 2+ messages / expand[flat|nested] mbox.gz Atom feed top
2025-02-18 7:31 [#375147] TESTED coq.git=8.20.1-alt1 Girar awaiter (respublica)
2025-02-18 17:49 ` Girar pender (respublica) [this message]
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=girar.task.375147.2.3@gyle.mskdc.altlinux.org \
--to=girar-builder@altlinux.org \
--cc=devel@lists.altlinux.org \
--cc=girar-builder-sisyphus@altlinux.org \
--cc=respublica@altlinux.org \
--cc=sisyphus-incominger@lists.altlinux.org \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
ALT Linux Girar Builder robot reports
This inbox may be cloned and mirrored by anyone:
git clone --mirror http://lore.altlinux.org/sisyphus-incominger/0 sisyphus-incominger/git/0.git
# If you have public-inbox 1.1+ installed, you may
# initialize and index your mirror using the following commands:
public-inbox-init -V2 sisyphus-incominger sisyphus-incominger/ http://lore.altlinux.org/sisyphus-incominger \
sisyphus-incominger@lists.altlinux.org sisyphus-incominger@lists.altlinux.ru sisyphus-incominger@lists.altlinux.com
public-inbox-index sisyphus-incominger
Example config snippet for mirrors.
Newsgroup available over NNTP:
nntp://lore.altlinux.org/org.altlinux.lists.sisyphus-incominger
AGPL code for this site: git clone https://public-inbox.org/public-inbox.git