We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
Apply @rep0's fix
Mention docker-coq-action
Add bold
Add remark on UID
Update hyperlink (href: coq-community/templates#2)
Mention the env. var. OPAM_VERSION
Add link to clarus' article
Detail: Remove unneeded quotes
typo fix
Reformat the remarks
Add advice when the project contains a dev .opam file
Detail
Add link to mathcomp images
Add section Related links
Fix sudo command
Updated CI setup (markdown)
Add link to coq-community project templates
s/example/template/
Add remarks
Add doc and pointers on {Travis CI, GitLab CI} config
Created CI setup (markdown)