ALT Linux Girar Builder robot reports
 help / color / mirror / Atom feed
* [#375147] TESTED coq.git=8.20.1-alt1
@ 2025-02-18  7:31 Girar awaiter (respublica)
  2025-02-18 17:49 ` [#375147] DONE (try 2) coq.git=8.20.1-alt1 Girar pender (respublica)
  0 siblings, 1 reply; 2+ messages in thread
From: Girar awaiter (respublica) @ 2025-02-18  7:31 UTC (permalink / raw)
  To: Leonid Znamenok; +Cc: sisyphus-incominger, girar-builder-sisyphus

https://git.altlinux.org/tasks/375147/logs/events.1.1.log
https://packages.altlinux.org/tasks/375147

subtask  name  aarch64  i586  ppc64le  x86_64
   #100  coq     17:36     -        -    9:48

2025-Feb-18 07:02:49 :: test-only task #375147 for sisyphus started 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 07:02:51 :: [i586] #100 coq.git 8.20.1-alt1: build start
2025-Feb-18 07:02:51 :: [aarch64] #100 coq.git 8.20.1-alt1: build start
2025-Feb-18 07:02:51 :: [ppc64le] #100 coq.git 8.20.1-alt1: build start
2025-Feb-18 07:02:51 :: [x86_64] #100 coq.git 8.20.1-alt1: build start
2025-Feb-18 07:03:03 :: [i586] #100 coq.git 8.20.1-alt1: build SKIPPED
2025-Feb-18 07:03:12 :: [ppc64le] #100 coq.git 8.20.1-alt1: build SKIPPED
2025-Feb-18 07:12:39 :: [x86_64] #100 coq.git 8.20.1-alt1: build OK
2025-Feb-18 07:20:27 :: [aarch64] #100 coq.git 8.20.1-alt1: build OK
2025-Feb-18 07:20:48 :: #100: coq.git 8.20.1-alt1: build check OK
2025-Feb-18 07:20:49 :: build check OK
2025-Feb-18 07:21:39 :: noarch check OK
2025-Feb-18 07:21:41 :: plan: src +1 -1 =19853, aarch64 +7 -7 =34069, x86_64 +7 -7 =34856
#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 07:22:24 :: patched apt indices
2025-Feb-18 07:22:36 :: created next repo
2025-Feb-18 07:22:49 :: duplicate provides check OK
2025-Feb-18 07:23:31 :: dependencies check OK
2025-Feb-18 07:24:30 :: [x86_64 aarch64] ELF symbols check OK
	x86_64: coq=8.20.1-alt1 post-install unowned files:
 /usr/lib64/ocaml
2025-Feb-18 07:24:45 :: [x86_64] #100 coq: install check OK
	aarch64: coq=8.20.1-alt1 post-install unowned files:
 /usr/lib64/ocaml
2025-Feb-18 07:24:54 :: [aarch64] #100 coq: install check OK
	x86_64: coq-coqide=8.20.1-alt1 post-install unowned files:
 /usr/share/metainfo
2025-Feb-18 07:25:24 :: [x86_64] #100 coq-coqide: install check OK
	aarch64: coq-coqide=8.20.1-alt1 post-install unowned files:
 /usr/share/metainfo
2025-Feb-18 07:25:56 :: [aarch64] #100 coq-coqide: install check OK
2025-Feb-18 07:26:12 :: [x86_64] #100 coq-coqide-debuginfo: install check OK
2025-Feb-18 07:26:49 :: [x86_64] #100 coq-coqide-server: install check OK
2025-Feb-18 07:27:09 :: [aarch64] #100 coq-coqide-debuginfo: install check OK
2025-Feb-18 07:27:27 :: [x86_64] #100 coq-coqide-server-debuginfo: install check OK
	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 07:28:02 :: [x86_64] #100 coq-core: install check OK
2025-Feb-18 07:28:06 :: [aarch64] #100 coq-coqide-server: install check OK
2025-Feb-18 07:28:38 :: [x86_64] #100 coq-core-debuginfo: install check OK
2025-Feb-18 07:29:05 :: [aarch64] #100 coq-coqide-server-debuginfo: install check OK
	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 07:29:59 :: [aarch64] #100 coq-core: install check OK
2025-Feb-18 07:30:55 :: [aarch64] #100 coq-core-debuginfo: install check OK
2025-Feb-18 07:31:13 :: [x86_64-i586] generated apt indices
2025-Feb-18 07:31:13 :: [x86_64-i586] created next repo
2025-Feb-18 07:31:24 :: [x86_64-i586] dependencies check OK
2025-Feb-18 07:31:24 :: gears inheritance check OK
2025-Feb-18 07:31:25 :: 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 07:31:25 :: acl check OK
2025-Feb-18 07:31:37 :: created contents_index files
2025-Feb-18 07:31:48 :: created hash files: aarch64 src x86_64
2025-Feb-18 07:31:50 :: task #375147 for sisyphus TESTED


^ permalink raw reply	[flat|nested] 2+ messages in thread
end of thread, other threads:[~2025-02-18 17:49 UTC | newest]

Thread overview: 2+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2025-02-18  7:31 [#375147] TESTED coq.git=8.20.1-alt1 Girar awaiter (respublica)
2025-02-18 17:49 ` [#375147] DONE (try 2) coq.git=8.20.1-alt1 Girar pender (respublica)

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