Change reqs.

3 jobs for master in 4 minutes and 25 seconds (queued for 3 seconds)
Name Stage Failure
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