search

math-comp / algebra-tactics

Ring, field, lra, nra, and psatz tactics for Mathematical Components
32 stars 2 forks source link

Update CI #77

Closed pi8027 closed 1 year ago

pi8027 commented 1 year ago

@gares Now, I cannot release a new version of Algebra Tactics compatible with Coq 8.17 because of this issue: https://github.com/math-comp/algebra-tactics/pull/71#issuecomment-1318380526

pi8027 commented 1 year ago

Fixed by LPCIC/coq-elpi#438.