https://git.altlinux.org/tasks/423578/logs/events.1.1.log
https://packages.altlinux.org/tasks/423578
subtask name aarch64 i586 x86_64
#100 rocq 11:28 - 5:51
2026-Jul-01 14:09:49 :: test-only task #423578 for sisyphus started by
respublica:
#100 build 9.2.0-alt3 from /people/respublica/packages/rocq.git fetched at
2026-Jul-01 14:09:47
2026-Jul-01 14:09:52 :: [x86_64] #100 rocq.git 9.2.0-alt3: build start
2026-Jul-01 14:09:52 :: [aarch64] #100 rocq.git 9.2.0-alt3: build start
2026-Jul-01 14:09:52 :: [i586] #100 rocq.git 9.2.0-alt3: build start
2026-Jul-01 14:10:00 :: [i586] #100 rocq.git 9.2.0-alt3: build SKIPPED
2026-Jul-01 14:15:43 :: [x86_64] #100 rocq.git 9.2.0-alt3: build OK
2026-Jul-01 14:21:20 :: [aarch64] #100 rocq.git 9.2.0-alt3: build OK
2026-Jul-01 14:21:31 :: 100: build check OK
2026-Jul-01 14:21:32 :: build check OK
2026-Jul-01 14:21:47 :: #100: rocq.git 9.2.0-alt3: version check OK
2026-Jul-01 14:21:47 :: build version check OK
2026-Jul-01 14:22:45 :: noarch check OK
2026-Jul-01 14:22:47 :: plan: src +1 -1 =22375, aarch64 +9 -9 =39668, x86_64 +9
-9 =40726
#100 rocq 9.2.0-alt2 -> 9.2.0-alt3
Wed Jul 01 2026 Leonid Znamenok <respublica@altlinux> 9.2.0-alt3
- Fixed FTBFS with dune 3.21.
2026-Jul-01 14:23:44 :: patched apt indices
2026-Jul-01 14:23:58 :: created next repo
2026-Jul-01 14:24:14 :: duplicate provides check OK
2026-Jul-01 14:25:06 :: dependencies check OK
2026-Jul-01 14:26:25 :: [x86_64 aarch64] ELF symbols check OK
2026-Jul-01 14:26:56 :: [x86_64] #100 coq-core-compat: install check OK
2026-Jul-01 14:27:11 :: [aarch64] #100 coq-core-compat: install check OK
2026-Jul-01 14:27:21 :: [x86_64] #100 coq-core-compat-debuginfo: install check
OK
x86_64: rocq=9.2.0-alt3 post-install unowned files:
/usr/lib64/ocaml
2026-Jul-01 14:27:26 :: [x86_64] #100 rocq: install check OK
2026-Jul-01 14:27:49 :: [aarch64] #100 coq-core-compat-debuginfo: install check
OK
2026-Jul-01 14:27:50 :: [x86_64] #100 rocq-coqide-server: install check OK
aarch64: rocq=9.2.0-alt3 post-install unowned files:
/usr/lib64/ocaml
2026-Jul-01 14:27:58 :: [aarch64] #100 rocq: install check OK
2026-Jul-01 14:28:15 :: [x86_64] #100 rocq-coqide-server-debuginfo: install
check OK
2026-Jul-01 14:28:34 :: [aarch64] #100 rocq-coqide-server: install check OK
x86_64: rocq-core=9.2.0-alt3 post-install unowned files:
/usr/share/texmf
/usr/share/texmf/tex
/usr/share/texmf/tex/latex
/usr/share/texmf/tex/latex/misc
2026-Jul-01 14:28:39 :: [x86_64] #100 rocq-core: install check OK
2026-Jul-01 14:29:04 :: [x86_64] #100 rocq-core-debuginfo: install check OK
2026-Jul-01 14:29:12 :: [aarch64] #100 rocq-coqide-server-debuginfo: install
check OK
2026-Jul-01 14:29:30 :: [x86_64] #100 rocq-rocqide: install check OK
aarch64: rocq-core=9.2.0-alt3 post-install unowned files:
/usr/share/texmf
/usr/share/texmf/tex
/usr/share/texmf/tex/latex
/usr/share/texmf/tex/latex/misc
2026-Jul-01 14:29:49 :: [aarch64] #100 rocq-core: install check OK
2026-Jul-01 14:30:02 :: [x86_64] #100 rocq-rocqide-debuginfo: install check OK
2026-Jul-01 14:30:26 :: [aarch64] #100 rocq-core-debuginfo: install check OK
2026-Jul-01 14:31:06 :: [aarch64] #100 rocq-rocqide: install check OK
2026-Jul-01 14:31:53 :: [aarch64] #100 rocq-rocqide-debuginfo: install check OK
2026-Jul-01 14:32:13 :: [x86_64-i586] generated apt indices
2026-Jul-01 14:32:13 :: [x86_64-i586] created next repo
2026-Jul-01 14:32:25 :: [x86_64-i586] dependencies check OK
2026-Jul-01 14:32:27 :: gears inheritance check OK
2026-Jul-01 14:32:27 :: srpm inheritance check OK
girar-check-perms: access to rocq ALLOWED for respublica: project leader
check-subtask-perms: #100: rocq: allowed for respublica
2026-Jul-01 14:32:28 :: acl check OK
2026-Jul-01 14:32:42 :: created contents_index files
2026-Jul-01 14:32:54 :: created hash files: aarch64 src x86_64
2026-Jul-01 14:32:58 :: task #423578 for sisyphus TESTED
_______________________________________________
Sisyphus-incominger mailing list
[email protected]
https://lists.altlinux.org/mailman/listinfo/sisyphus-incominger
