Pipeline · RT-PROOFS / PROSA - Formally Proven Schedulability Analysis

Change definition of completion

3 jobs for master in 4 minutes

Status	Job ID	Name
Build
passed	#33784	coq:8.9	00:04:00 Jun 12, 2019
passed	#33783	coq:8.9+ssreflect:1.8.0	00:03:53 Jun 12, 2019
failed	#33785 allowed to fail	coq:dev	00:01:59 Jun 12, 2019

Name Stage Failure

	Name	Stage	Failure
failed	coq:dev	Build	There is an unknown failure, please try again
	`File "./util/seqset.v", line 19, characters 42-52: Error: The reference mkPredType was not found in the current environment. Makefile:658: recipe for target 'util/seqset.vo' failed make[1]: * [util/seqset.vo] Error 1 make[1]: * Waiting for unfinished jobs.... Makefile:320: recipe for target 'all' failed make: *** [all] Error 2 ERROR: Job failed: exit code 1`

failed

coq:dev

Build

There is an unknown failure, please try again

File "./util/seqset.v", line 19, characters 42-52:
Error: The reference mkPredType was not found in the current environment.

Makefile:658: recipe for target 'util/seqset.vo' failed
make[1]: *** [util/seqset.vo] Error 1
make[1]: *** Waiting for unfinished jobs....
Makefile:320: recipe for target 'all' failed
make: *** [all] Error 2
ERROR: Job failed: exit code 1