From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <girar-builder@altlinux.org>
Date: Tue, 19 Feb 2019 22:02:12 +0000
From: Girar Builder awaiter robot <girar-builder@altlinux.org>
To: Gleb Fotengauer-Malinovskiy <glebfm@altlinux.org>
Subject: [#222097] FAILED yices.git=2.3.0-alt3
Message-ID: <20190219220212.GA21869@gyle.altlinux.org>
Mail-Followup-To: girar-builder@altlinux.org
MIME-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Content-Disposition: inline
X-girar-task-id: 222097
X-girar-task-owner: glebfm
X-girar-task-repo: sisyphus
X-girar-task-try: 1
X-girar-task-iter: 1
X-girar-task-status: FAILED
X-girar-task-URL: http://git.altlinux.org/tasks/222097/
X-girar-task-log: logs/events.1.1.log
X-girar-task-summary: [#222097] FAILED yices.git=2.3.0-alt3
User-Agent: Mutt/1.8.3 (2017-05-23)
Cc: sisyphus-incominger@lists.altlinux.org
X-BeenThere: sisyphus-incominger@lists.altlinux.org
X-Mailman-Version: 2.1.12
Precedence: list
Reply-To: glebfm@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: Tue, 19 Feb 2019 22:02:14 -0000
Archived-At: <http://lore.altlinux.org/sisyphus-incominger/20190219220212.GA21869@gyle.altlinux.org/>
List-Archive: <http://lore.altlinux.org/sisyphus-incominger/>

http://git.altlinux.org/tasks/222097/logs/events.1.1.log

2019-Feb-19 22:00:41 :: test-only task #222097 for sisyphus started by glebfm:
#100 build 2.3.0-alt3 from /people/glebfm/packages/yices.git fetched at 2019-Feb-19 22:00:40
2019-Feb-19 22:00:41 :: [x86_64] #100 yices.git 2.3.0-alt3: build start
2019-Feb-19 22:00:41 :: [i586] #100 yices.git 2.3.0-alt3: build start
2019-Feb-19 22:00:42 :: [aarch64] #100 yices.git 2.3.0-alt3: build start
  -z, --null-data
                 separate lines by NUL characters
      --help     display this help and exit
      --version  output version information and exit
If no -e, --expression, -f, or --file option is given, then the first
non-option argument is taken as the sed script to interpret.  All
remaining arguments are names of input files; if no input files are
specified, then the standard input is read.
GNU sed home page: <https://www.gnu.org/software/sed/>.
General help using GNU software: <https://www.gnu.org/gethelp/>.
2019-Feb-19 22:01:17 :: [x86_64] yices.git 2.3.0-alt3: remote: build failed
2019-Feb-19 22:01:17 :: [x86_64] #100 yices.git 2.3.0-alt3: build FAILED
  -z, --null-data
                 separate lines by NUL characters
      --help     display this help and exit
      --version  output version information and exit
If no -e, --expression, -f, or --file option is given, then the first
non-option argument is taken as the sed script to interpret.  All
remaining arguments are names of input files; if no input files are
specified, then the standard input is read.
GNU sed home page: <https://www.gnu.org/software/sed/>.
General help using GNU software: <https://www.gnu.org/gethelp/>.
2019-Feb-19 22:01:23 :: [i586] yices.git 2.3.0-alt3: remote: build failed
2019-Feb-19 22:01:23 :: [i586] #100 yices.git 2.3.0-alt3: build FAILED
  -z, --null-data
                 separate lines by NUL characters
      --help     display this help and exit
      --version  output version information and exit
If no -e, --expression, -f, or --file option is given, then the first
non-option argument is taken as the sed script to interpret.  All
remaining arguments are names of input files; if no input files are
specified, then the standard input is read.
GNU sed home page: <https://www.gnu.org/software/sed/>.
General help using GNU software: <https://www.gnu.org/gethelp/>.
2019-Feb-19 22:02:12 :: [aarch64] yices.git 2.3.0-alt3: remote: build failed
2019-Feb-19 22:02:12 :: [aarch64] #100 yices.git 2.3.0-alt3: build FAILED
2019-Feb-19 22:01:17 :: [x86_64] build FAILED
2019-Feb-19 22:01:23 :: [i586] build FAILED
2019-Feb-19 22:02:12 :: [aarch64] build FAILED
2019-Feb-19 22:02:12 :: task #222097 for sisyphus FAILED