Pipeline · Iris / Iris

Merge branch 'master' of gitlab.mpi-sws.org:FP/iris-coq

1 job for master

0cbaab2f

Status	Job ID	Name
Test
failed	#74 coq	buildjob	00:02:30 Feb 24, 2016

Status

Job ID

Name

Coverage

Test

#74

coq

buildjob

00:02:30

Feb 24, 2016

Name Stage Failure

	Name	Stage	Failure
failed	buildjob	Test	There is an unknown failure, please try again
	`make[1]: * Waiting for unfinished jobs.... program_logic/hoare_lifting (user: 6.40 mem: 491320 ko) heap_lang/notation (user: 1.24 mem: 489260 ko) heap_lang/substitution (user: 9.53 mem: 493608 ko) make[1]: Leaving directory '/builds/FP/iris-coq' Makefile:4: recipe for target 'all' failed make: * [all] Error 2 ERROR: Build failed with: exit code 1`

failed

buildjob

Test

There is an unknown failure, please try again

make[1]: *** Waiting for unfinished jobs....
program_logic/hoare_lifting (user: 6.40 mem: 491320 ko)
heap_lang/notation (user: 1.24 mem: 489260 ko)
heap_lang/substitution (user: 9.53 mem: 493608 ko)
make[1]: Leaving directory '/builds/FP/iris-coq'
Makefile:4: recipe for target 'all' failed
make: *** [all] Error 2

ERROR: Build failed with: exit code 1