-
Notifications
You must be signed in to change notification settings - Fork 6
Home
Erik Martin-Dorel edited this page Mar 10, 2020
·
5 revisions
This is the general wiki of coq-community.
On the other pages, you will find general advice and best practices on how to maintain a project. This should complement the content of the templates repository, the project examples mentioned in the templates' README, the FAQ in the README, and the CONTRIBUTING guide.
Two alternative ways of setting up CI are documented in Continuous-Integration-with-Nix and in https://github.com/coq-community/docker-coq/wiki/CI-setup. Feel free to use whichever you prefer (the proposed setup in templates uses a combination of both and you can find a comparison here).