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

Polish

13 jobs for !217 with refinements in 15 minutes and 30 seconds (queued for 2 seconds)

Name Stage Failure

	Name	Stage	Failure
failed	validate	Process
	`* Theory: Set is predicative * Axioms: - Coq.Logic.ProofIrrelevance.proof_irrelevance * Constants/Inductives relying on type-in-type: <none> Cleaning up project directory and file based variables ERROR: Job failed: exit code 1`

failed

Process

 * Theory: Set is predicative
   
 * Axioms:
-    Coq.Logic.ProofIrrelevance.proof_irrelevance
   
 * Constants/Inductives relying on type-in-type: <none>
   
Cleaning up project directory and file based variables
ERROR: Job failed: exit code 1