[#371761] TESTED (try 11) ocaml-lablgtk3.git=3.1.5-alt2 coq.git=8.20.0-alt1

Girar awaiter (respublica) girar-builder at altlinux.org
Thu Jan 30 06:04:49 MSK 2025 

https://git.altlinux.org/tasks/371761/logs/events.11.1.log
https://packages.altlinux.org/tasks/371761

subtask  name            aarch64  i586  ppc64le  x86_64
    #40  ocaml-lablgtk3     2:46  1:46     3:26    1:48
  #1000  coq               17:59     -        -   10:08

2025-Jan-30 02:28:49 :: test-only task #371761 for sisyphus resumed by respublica:
#40 build 3.1.5-alt2 from /people/respublica/packages/ocaml-lablgtk3.git fetched at 2025-Jan-26 14:48:18
#100 removed
#200 removed
#300 removed
#400 removed
#500 removed
#600 removed
#700 removed
#1000 build 8.20.0-alt1 from /people/respublica/packages/coq.git fetched at 2025-Jan-27 18:33:41
2025-Jan-30 02:28:49 :: created build repo
2025-Jan-30 02:28:51 :: [x86_64] #40 ocaml-lablgtk3.git 3.1.5-alt2: build start
2025-Jan-30 02:28:51 :: [i586] #40 ocaml-lablgtk3.git 3.1.5-alt2: build start
2025-Jan-30 02:28:51 :: [ppc64le] #40 ocaml-lablgtk3.git 3.1.5-alt2: build start
2025-Jan-30 02:28:51 :: [aarch64] #40 ocaml-lablgtk3.git 3.1.5-alt2: build start
2025-Jan-30 02:30:37 :: [i586] #40 ocaml-lablgtk3.git 3.1.5-alt2: build OK
2025-Jan-30 02:30:37 :: [i586] #1000 coq.git 8.20.0-alt1: build start
2025-Jan-30 02:30:39 :: [x86_64] #40 ocaml-lablgtk3.git 3.1.5-alt2: build OK
2025-Jan-30 02:30:40 :: [x86_64] #1000 coq.git 8.20.0-alt1: build start
2025-Jan-30 02:30:52 :: [i586] #1000 coq.git 8.20.0-alt1: build SKIPPED
2025-Jan-30 02:31:37 :: [aarch64] #40 ocaml-lablgtk3.git 3.1.5-alt2: build OK
2025-Jan-30 02:31:38 :: [aarch64] #1000 coq.git 8.20.0-alt1: build start
2025-Jan-30 02:32:17 :: [ppc64le] #40 ocaml-lablgtk3.git 3.1.5-alt2: build OK
2025-Jan-30 02:32:17 :: [ppc64le] #1000 coq.git 8.20.0-alt1: build start
2025-Jan-30 02:32:44 :: [ppc64le] #1000 coq.git 8.20.0-alt1: build SKIPPED
2025-Jan-30 02:40:48 :: [x86_64] #1000 coq.git 8.20.0-alt1: build OK
2025-Jan-30 02:49:37 :: [aarch64] #1000 coq.git 8.20.0-alt1: build OK
2025-Jan-30 02:49:56 :: #40: ocaml-lablgtk3.git 3.1.5-alt2: build check OK
2025-Jan-30 02:50:16 :: #1000: coq.git 8.20.0-alt1: build check OK
2025-Jan-30 02:50:17 :: build check OK
2025-Jan-30 02:51:21 :: noarch check OK
2025-Jan-30 02:51:23 :: plan: src +2 -1 =20056, aarch64 +11 -4 =34851, i586 +4 -4 =33852, ppc64le +4 -4 =33409, x86_64 +11 -4 =35667
#40 ocaml-lablgtk3 3.1.5-alt1 -> 3.1.5-alt2
 Sat Jan 25 2025 Leonid Znamenok <respublica at altlinux> 3.1.5-alt2
 - NMU: rebuild with goocanvas2, gtkspell3, rsvg2 and sourceview3
2025-Jan-30 02:52:21 :: patched apt indices
2025-Jan-30 02:52:32 :: created next repo
2025-Jan-30 02:52:43 :: duplicate provides check OK
2025-Jan-30 02:53:28 :: dependencies check OK
2025-Jan-30 02:54:23 :: [x86_64 i586 aarch64 ppc64le] ELF symbols check OK
	x86_64: coq=8.20.0-alt1 post-install unowned files:
 /usr/lib64/ocaml
2025-Jan-30 02:54:38 :: [x86_64] #1000 coq: install check OK
	aarch64: coq=8.20.0-alt1 post-install unowned files:
 /usr/lib64/ocaml
2025-Jan-30 02:54:46 :: [aarch64] #1000 coq: install check OK
2025-Jan-30 02:54:55 :: [i586] #40 ocaml-lablgtk3: install check OK
2025-Jan-30 02:55:09 :: [ppc64le] #40 ocaml-lablgtk3: install check OK
	x86_64: coq-coqide=8.20.0-alt1 post-install unowned files:
 /usr/share/metainfo
2025-Jan-30 02:55:19 :: [x86_64] #1000 coq-coqide: install check OK
2025-Jan-30 02:55:29 :: [i586] #40 ocaml-lablgtk3-debuginfo: install check OK
	aarch64: coq-coqide=8.20.0-alt1 post-install unowned files:
 /usr/share/metainfo
2025-Jan-30 02:55:48 :: [aarch64] #1000 coq-coqide: install check OK
2025-Jan-30 02:55:59 :: [i586] #40 ocaml-lablgtk3-devel: install check OK
2025-Jan-30 02:56:00 :: [ppc64le] #40 ocaml-lablgtk3-debuginfo: install check OK
2025-Jan-30 02:56:08 :: [x86_64] #1000 coq-coqide-debuginfo: install check OK
2025-Jan-30 02:56:37 :: [i586] #40 ocaml-lablgtk3-devel-debuginfo: install check OK
2025-Jan-30 02:56:44 :: [ppc64le] #40 ocaml-lablgtk3-devel: install check OK
2025-Jan-30 02:56:45 :: [x86_64] #1000 coq-coqide-server: install check OK
2025-Jan-30 02:57:02 :: [aarch64] #1000 coq-coqide-debuginfo: install check OK
2025-Jan-30 02:57:24 :: [x86_64] #1000 coq-coqide-server-debuginfo: install check OK
2025-Jan-30 02:57:44 :: [ppc64le] #40 ocaml-lablgtk3-devel-debuginfo: install check OK
2025-Jan-30 02:57:58 :: [aarch64] #1000 coq-coqide-server: install check OK
	x86_64: coq-core=8.20.0-alt1 post-install unowned files:
 /usr/share/texmf
 /usr/share/texmf/tex
 /usr/share/texmf/tex/latex
 /usr/share/texmf/tex/latex/misc
2025-Jan-30 02:58:00 :: [x86_64] #1000 coq-core: install check OK
2025-Jan-30 02:58:39 :: [x86_64] #1000 coq-core-debuginfo: install check OK
2025-Jan-30 02:58:56 :: [aarch64] #1000 coq-coqide-server-debuginfo: install check OK
2025-Jan-30 02:59:01 :: [x86_64] #40 ocaml-lablgtk3: install check OK
2025-Jan-30 02:59:31 :: [x86_64] #40 ocaml-lablgtk3-debuginfo: install check OK
	aarch64: coq-core=8.20.0-alt1 post-install unowned files:
 /usr/share/texmf
 /usr/share/texmf/tex
 /usr/share/texmf/tex/latex
 /usr/share/texmf/tex/latex/misc
2025-Jan-30 02:59:50 :: [aarch64] #1000 coq-core: install check OK
2025-Jan-30 02:59:58 :: [x86_64] #40 ocaml-lablgtk3-devel: install check OK
2025-Jan-30 03:00:34 :: [x86_64] #40 ocaml-lablgtk3-devel-debuginfo: install check OK
2025-Jan-30 03:00:46 :: [aarch64] #1000 coq-core-debuginfo: install check OK
2025-Jan-30 03:01:17 :: [aarch64] #40 ocaml-lablgtk3: install check OK
2025-Jan-30 03:02:01 :: [aarch64] #40 ocaml-lablgtk3-debuginfo: install check OK
2025-Jan-30 03:02:40 :: [aarch64] #40 ocaml-lablgtk3-devel: install check OK
2025-Jan-30 03:03:31 :: [aarch64] #40 ocaml-lablgtk3-devel-debuginfo: install check OK
2025-Jan-30 03:03:32 :: [x86_64-i586] plan: #1 +1 -1 =11563
2025-Jan-30 03:03:53 :: [x86_64-i586] arepo build OK
2025-Jan-30 03:04:09 :: [x86_64-i586] generated apt indices
2025-Jan-30 03:04:10 :: [x86_64-i586] created next repo
2025-Jan-30 03:04:22 :: [x86_64-i586] dependencies check OK
2025-Jan-30 03:04:23 :: gears inheritance check OK
2025-Jan-30 03:04:23 :: srpm inheritance check OK
girar-check-perms: access to ocaml-lablgtk3 ALLOWED for respublica: project leader welcomes random builders
check-subtask-perms: #40: ocaml-lablgtk3: allowed for respublica
girar-check-perms: access to coq ALLOWED for respublica: project `coq' is not listed in the acl file for repository `sisyphus', and the policy for such projects in `sisyphus' is to allow
check-subtask-perms: #1000: coq: allowed for respublica
2025-Jan-30 03:04:24 :: acl check OK
2025-Jan-30 03:04:36 :: created contents_index files
2025-Jan-30 03:04:46 :: created hash files: aarch64 i586 ppc64le src x86_64-i586 x86_64
2025-Jan-30 03:04:49 :: task #371761 for sisyphus TESTED

More information about the Sisyphus-incominger mailing list