-
Notifications
You must be signed in to change notification settings - Fork 6
Home
Théo Zimmermann edited this page Dec 5, 2018
·
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/ directory
in the repository, 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).