search

coq-community / coqeal

The Coq Effective Algebra Library [maintainers=@CohenCyril,@proux01]
Other
65 stars 17 forks source link

Update CI #86

Closed pi8027 closed 8 months ago

proux01 commented 8 months ago

Thanks, I did test locally and on Nix toolbox but you're right that it's better to keep CI up to date.