From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <girar-builder@altlinux.org>
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: Sat, 25 Nov 2023 16:40:20 +0000
From: "Girar awaiter (vt)" <girar-builder@altlinux.org>
To: Vitaly Chikunov <vt@altlinux.org>
Subject: [#334708] [test-only] FAILED (try 6) cbmc.git=5.95.1-alt1
Message-ID: <girar.task.334708.6.1@gyle.mskdc.altlinux.org>
Mail-Followup-To: Girar awaiter robot <girar-builder@altlinux.org>
References: <girar.task.334708.5.1@gyle.mskdc.altlinux.org>
 <girar.task.334708.4.1@gyle.mskdc.altlinux.org>
 <girar.task.334708.3.1@gyle.mskdc.altlinux.org>
 <girar.task.334708.2.1@gyle.mskdc.altlinux.org>
 <girar.task.334708.1.1@gyle.mskdc.altlinux.org>
MIME-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Content-Disposition: inline
In-Reply-To: <girar.task.334708.1.1@gyle.mskdc.altlinux.org>
X-girar-task-id: 334708
X-girar-task-owner: vt
X-girar-task-repo: sisyphus
X-girar-task-try: 6
X-girar-task-iter: 1
X-girar-task-status: FAILED
X-girar-task-URL: https://git.altlinux.org/tasks/334708/
X-girar-task-log: logs/events.6.1.log
X-girar-task-summary: [#334708] [test-only] FAILED (try 6) cbmc.git=5.95.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 <devel@lists.altlinux.org>
List-Id: ALT Linux Girar Builder robot reports
 <sisyphus-incominger.lists.altlinux.org>
List-Unsubscribe: <https://lists.altlinux.org/mailman/options/sisyphus-incominger>, 
 <mailto:sisyphus-incominger-request@lists.altlinux.org?subject=unsubscribe>
List-Archive: <http://lists.altlinux.org/pipermail/sisyphus-incominger>
List-Post: <mailto:sisyphus-incominger@lists.altlinux.org>
List-Help: <mailto:sisyphus-incominger-request@lists.altlinux.org?subject=help>
List-Subscribe: <https://lists.altlinux.org/mailman/listinfo/sisyphus-incominger>, 
 <mailto:sisyphus-incominger-request@lists.altlinux.org?subject=subscribe>
X-List-Received-Date: Sat, 25 Nov 2023 16:40:23 -0000
Archived-At: <http://lore.altlinux.org/sisyphus-incominger/girar.task.334708.6.1@gyle.mskdc.altlinux.org/>
List-Archive: <http://lore.altlinux.org/sisyphus-incominger/>

https://git.altlinux.org/tasks/334708/logs/events.6.1.log

subtask  name  aarch64   armh  i586  ppc64le  x86_64
   #600  cbmc     9:24  14:44  6:36     6:53  failed

2023-Nov-25 16:25:34 :: test-only task #334708 for sisyphus resumed by vt:
#100 removed
#200 removed
#300 removed
#400 removed
#500 removed
#600 build 5.95.1-alt1 from /people/vt/packages/cbmc.git fetched at 2023-Nov-25 16:25:32
2023-Nov-25 16:25:35 :: [ppc64le] #600 cbmc.git 5.95.1-alt1: build start
2023-Nov-25 16:25:35 :: [i586] #600 cbmc.git 5.95.1-alt1: build start
2023-Nov-25 16:25:35 :: [aarch64] #600 cbmc.git 5.95.1-alt1: build start
2023-Nov-25 16:25:35 :: [x86_64] #600 cbmc.git 5.95.1-alt1: build start
2023-Nov-25 16:25:35 :: [armh] #600 cbmc.git 5.95.1-alt1: build start
[x86_64] + /bin/mkdir -p /usr/src/RPM/BUILD
[x86_64] + cd /usr/src/RPM/BUILD
[x86_64] + cd cbmc-5.95.1
[x86_64] + x86_64-alt-linux/bin/cbmc --version
[x86_64] 5.95.1 (alt1:sisyphus+334708.600.6.1)
[x86_64] + x86_64-alt-linux/bin/cbmc --version
[x86_64] + grep -wF 5.95.1
[x86_64] 5.95.1 (alt1:sisyphus+334708.600.6.1)
[x86_64] + ctest --test-dir x86_64-alt-linux --output-on-failure --force-new-ctest-process --parallel 32 --label-regex CORE
[x86_64] /usr/src/tmp/rpm-tmp.96764: line 131: ctest: command not found
2023-Nov-25 16:28:59 :: [x86_64] cbmc.git 5.95.1-alt1: remote: build failed
2023-Nov-25 16:28:59 :: [x86_64] #600 cbmc.git 5.95.1-alt1: build FAILED
2023-Nov-25 16:28:59 :: [x86_64] requesting cancellation of task processing
2023-Nov-25 16:32:11 :: [i586] #600 cbmc.git 5.95.1-alt1: build OK
2023-Nov-25 16:32:28 :: [ppc64le] #600 cbmc.git 5.95.1-alt1: build OK
2023-Nov-25 16:34:59 :: [aarch64] #600 cbmc.git 5.95.1-alt1: build OK
2023-Nov-25 16:40:19 :: [armh] #600 cbmc.git 5.95.1-alt1: build OK
2023-Nov-25 16:28:59 :: [x86_64] build FAILED
2023-Nov-25 16:40:19 :: task #334708 for sisyphus FAILED