Pipeline · Iris / Iris

fix yaml syntax

1 job for master

d50f8c16

Status	Job ID	Name
Test
failed	#49 coq	buildjob	00:00:13 Feb 24, 2016

Status

Job ID

Name

Coverage

Test

#49

coq

buildjob

00:00:13

Feb 24, 2016

Name Stage Failure

	Name	Stage	Failure
failed	buildjob	Test	There is an unknown failure, please try again
	`HEAD is now at d50f8c1... fix yaml syntax $ make -j8 TIMED=y \| tee /dev/stdout \| egrep "[a-zA-Z0-9-_/]+ \(user: [0-9]" > build-time.txt grep: Invalid range end Warning: -Q options don't have a correct common prefix, install-doc will put anything in $INSTALLDEFAULTROOT ERROR: Build failed with: exit code 1`

failed

buildjob

Test

There is an unknown failure, please try again


HEAD is now at d50f8c1... fix yaml syntax

$ make -j8 TIMED=y | tee /dev/stdout | egrep "[a-zA-Z0-9-_/]+ \(user: [0-9]" > build-time.txt
grep: Invalid range end
Warning: -Q options don't have a correct common prefix,
 install-doc will put anything in $INSTALLDEFAULTROOT

ERROR: Build failed with: exit code 1