Pipeline · Iris / Diaframe

3 jobs for master in 4 minutes and 25 seconds (queued for 3 seconds)

	Name	Stage
failed	build-coq.8.13.2	Build
	`COQC theories/lib/own/proofmode_classes.v COQC theories/lib/own/proofmode_instances.v make: Target 'comparison' not remade because of errors. real 0m16.624s user 0m19.798s sys 0m0.683s Cleaning up project directory and file based variables ERROR: Job failed: exit code 1`
failed	build-coq.8.14.1	Build
	`COQC theories/lib/own/proofmode_classes.v COQC theories/lib/own/proofmode_instances.v make: Target 'comparison' not remade because of errors. real 0m16.525s user 0m19.709s sys 0m0.702s Cleaning up project directory and file based variables ERROR: Job failed: exit code 1`
failed	build-coq.8.15.0	Build
	`COQC theories/lib/own/proofmode_classes.v COQC theories/lib/own/proofmode_instances.v make: Target 'comparison' not remade because of errors. real 0m17.313s user 0m21.035s sys 0m0.844s Cleaning up project directory and file based variables ERROR: Job failed: exit code 1`