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
162 stars 43 forks source link

Use coq-on-cachix repo to never rebuild the Coq package. #71

Closed Zimmi48 closed 5 years ago

Zimmi48 commented 5 years ago

The coq-on-cachix repo lags a bit behind the main Coq repo but guarantees that it has already been built and uploaded to Cachix.

See also https://github.com/coq/coq/wiki/Nix.

This commit also updates a few other things following recent changes in the coq-community templates.

Zimmi48 commented 5 years ago

There is a bug with the GitHub status check: this passed in full.