Polish

13 jobs for !217 with refinements in 15 minutes and 30 seconds (queued for 2 seconds)
merge request
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