remove CI for Coq 8.10-12

math-comp / real-closed

Theorems for Real Closed Fields

13 stars 11 forks source link

remove CI for Coq 8.10-12 #45

Closed affeldt-aist closed 2 years ago

affeldt-aist commented 2 years ago

The goal of this PR is to drop support for Coq 8.10 so that we can use the #deprecated pragma. It also drops 8.11 and 8.12 since they are not supported by MathComp anymore and anyway cause CI errors.