search

coq-community / math-classes

A library of abstract interfaces for mathematical structures in Coq [maintainer=@spitters,@Lysxia]
https://math-classes.github.io
MIT License
160 stars 43 forks source link

Switch from Travis CI to GitHub Actions. #93

Closed Zimmi48 closed 3 years ago

Zimmi48 commented 3 years ago

See https://coq.zulipchat.com/#narrow/stream/237663-coq-community-devs.20.26.20users/topic/New.20Travis.20limits.2E for context.

Zimmi48 commented 3 years ago

I will merge without waiting further because we are burning Travis credits at a high rate and we will soon be out.