We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
Updated Continuous Integration with Nix (markdown)
Rephrase
Update advantages
Fix broken URL
Use coq-on-cachix repo.
Update coq.cachix.org public key.
Ling to "Developing and debugging with Nix" wiki page.
Detail
Add more content for section Alternative setup and comparison
Mention commit pinning.
Document CI with Nix.