From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.4.1 (2015-04-28) on sa.local.altlinux.org X-Spam-Level: X-Spam-Status: No, score=-3.3 required=5.0 tests=BAYES_00,RP_MATCHES_RCVD autolearn=unavailable autolearn_force=no version=3.4.1 Date: Tue, 18 Feb 2025 07:31:51 +0000 From: "Girar awaiter (respublica)" To: Leonid Znamenok Subject: [#375147] TESTED coq.git=8.20.1-alt1 Message-ID: Mail-Followup-To: Girar awaiter robot MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline X-girar-task-id: 375147 X-girar-task-owner: respublica X-girar-task-repo: sisyphus X-girar-task-try: 1 X-girar-task-iter: 1 X-girar-task-status: TESTED X-girar-task-URL: https://git.altlinux.org/tasks/375147/ X-girar-task-log: logs/events.1.1.log X-girar-task-summary: [#375147] TESTED coq.git=8.20.1-alt1 User-Agent: Mutt/1.10.1 (2018-07-13) Cc: sisyphus-incominger@lists.altlinux.org, girar-builder-sisyphus@altlinux.org X-BeenThere: sisyphus-incominger@lists.altlinux.org X-Mailman-Version: 2.1.12 Precedence: list Reply-To: ALT Devel discussion list List-Id: ALT Linux Girar Builder robot reports List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Tue, 18 Feb 2025 07:31:54 -0000 Archived-At: List-Archive: 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 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