Add tests for reverse dependencies to CI

math-comp / algebra-tactics

Ring, field, lra, nra, and psatz tactics for Mathematical Components

32 stars 2 forks source link

Open pi8027 opened 2 years ago

pi8027 commented 11 months ago

Since Apery is now compatible with MC2, we should be able to test Apery in CI. But I don't know how to do that.