ALT Linux Girar Builder robot reports
 help / color / mirror / Atom feed
* [#222097] FAILED yices.git=2.3.0-alt3
@ 2019-02-19 22:02 Girar Builder awaiter robot
  0 siblings, 0 replies; only message in thread
From: Girar Builder awaiter robot @ 2019-02-19 22:02 UTC (permalink / raw)
  To: Gleb Fotengauer-Malinovskiy; +Cc: 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


^ permalink raw reply	[flat|nested] only message in thread

only message in thread, other threads:[~2019-02-19 22:02 UTC | newest]

Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2019-02-19 22:02 [#222097] FAILED yices.git=2.3.0-alt3 Girar Builder awaiter robot

ALT Linux Girar Builder robot reports

This inbox may be cloned and mirrored by anyone:

	git clone --mirror http://lore.altlinux.org/sisyphus-incominger/0 sisyphus-incominger/git/0.git

	# If you have public-inbox 1.1+ installed, you may
	# initialize and index your mirror using the following commands:
	public-inbox-init -V2 sisyphus-incominger sisyphus-incominger/ http://lore.altlinux.org/sisyphus-incominger \
		sisyphus-incominger@lists.altlinux.org sisyphus-incominger@lists.altlinux.ru sisyphus-incominger@lists.altlinux.com
	public-inbox-index sisyphus-incominger

Example config snippet for mirrors.
Newsgroup available over NNTP:
	nntp://lore.altlinux.org/org.altlinux.lists.sisyphus-incominger


AGPL code for this site: git clone https://public-inbox.org/public-inbox.git