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-11-24
Apply suggestions from code review
Théo Zimmermann
2018-11-24
[ci] [doc] Split user/developer README, add info about Nix/Docker CI
Emilio Jesus Gallego Arias
2018-11-21
[camlp5] Remove dependency on camlp5.
Emilio Jesus Gallego Arias
2018-11-20
gitlab: Install stdlib doc in build:base
Gaëtan Gilbert
2018-10-17
[ci] [doc] Notes about branch names.
Emilio Jesus Gallego Arias
2018-10-08
Merge PR #8660: Issue 8659 not always build all addons
Théo Zimmermann
2018-10-05
Fix review requests
Michael Soegtrop
2018-10-05
Fix issue #8659 - Not always build extended set of addons for Windows installer
Michael Soegtrop
2018-10-05
Rename CHANGES to CHANGES.md.
Guillaume Melquiond
2018-10-02
[doc] [api] Remove `ocamldoc` support in favor of `odoc`
Emilio Jesus Gallego Arias
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
