* [#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