index
:
coq
master
The formal proof system
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
dev
/
ci
/
README.md
Age
Commit message (
Expand
)
Author
2018-09-10
[dune] Add apidoc target using `odoc`
Emilio Jesus Gallego Arias
2018-09-05
[build] Preliminary support for building Coq with `dune`.
Emilio Jesus Gallego Arias
2018-09-03
[doc] Build ML API documentation artifact.
Emilio Jesus Gallego Arias
2018-08-01
Update documentation on GitLab CI to reflect recent changes.
Théo Zimmermann
2018-07-27
[ci] Remove CircleCI setup.
Emilio Jesus Gallego Arias
2018-06-22
Revert "Add a note about [ci skip] in CI README."
Théo Zimmermann
2018-06-18
Update section on adding your project to CI and link to example PR.
Théo Zimmermann
2018-06-13
Markdown docs: switch from absolute to relative links.
Théo Zimmermann
2018-06-06
Add a note about [ci skip] in CI README.
Théo Zimmermann
2018-05-24
Complete rewrite of the documentation of overlays after Jim's additional comm...
Théo Zimmermann
2018-05-17
[circle] Use Docker image from Gitlab registry.
Emilio Jesus Gallego Arias
2018-05-14
Update CI README with info about gitlab windows and docker jobs.
Gaëtan Gilbert
2018-05-14
Update CI documentation following recent evolutions.
Théo Zimmermann
2018-01-06
First stab at documenting the test suite.
Jasper Hugunin
2017-09-08
Move README.ci and link to it from CONTRIBUTING.
Théo Zimmermann
