-
Notifications
You must be signed in to change notification settings - Fork 6
Home
Hugo Herbelin edited this page Dec 9, 2019
·
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 template-examples/ directory, 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).