Pipeline · Dan Frumin / ReLoC-v1

Ticket lock refinement (almost) from the HOCAP-like counter specs

2 jobs for master in 6 minutes and 11 seconds (queued for 2 seconds)

Status	Job ID	Name
Build
failed	#13442 fp	build-coq.8.6.1	00:06:11 Jun 06, 2018
passed	#13441 fp	build-coq.8.7.2	00:05:50 Jun 06, 2018

Name Stage Failure

	Name	Stage	Failure
failed	build-coq.8.6.1	Build
	`theories/examples/symbol (user: 48.87 mem: 832232 ko) make[1]: Target 'all' not remade because of errors. Makefile:6: recipe for target 'all' failed make: *** [all] Error 2 real 4m32.328s user 11m28.997s sys 0m13.593s ERROR: Job failed: exit code 1`

failed

build-coq.8.6.1

Build

theories/examples/symbol (user: 48.87 mem: 832232 ko)
make[1]: Target 'all' not remade because of errors.
Makefile:6: recipe for target 'all' failed
make: *** [all] Error 2

real	4m32.328s
user	11m28.997s
sys	0m13.593s
ERROR: Job failed: exit code 1