| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2018-07-27 | [ci] Remove CircleCI setup. | Emilio Jesus Gallego Arias | |
| GitLab setup is quite stable these days thanks to the work of many people and `coqbot`. We decided to keep CircleCI support for a while as a safeguard in case something happened in the migration to GitLab, but these days we are just wasting resources to them and to us. As I'm afraid CircleCI won't scale for us, the time to remove it has arrived. Still, CircleCI had some awesome functionality that GitLab's CI doesn't offer yet, see the links at: https://github.com/coq/coq/issues/6919#issuecomment-395885573 - https://gitlab.com/gitlab-org/gitlab-ce/issues/29347 - https://gitlab.com/gitlab-org/gitlab-ce/issues/35222 - https://gitlab.com/gitlab-org/gitlab-ce/issues/41947 - https://gitlab.com/gitlab-org/gitlab-ce/issues/47063 | |||
| 2018-06-22 | Revert "Add a note about [ci skip] in CI README." | Théo Zimmermann | |
| This reverts commit 3a44a190a7f5d057b6a4bcb50124b42d83f3d03d. | |||
| 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 | |
| We had mostly used absolute links in the past. I just discovered that GitHub recommends using relative links instead: https://help.github.com/articles/basic-writing-and-formatting-syntax/#relative-links and indeed my Emacs Markdown mode can handle relative links but doesn't interpret absolute links relatively to the root of the git repository. [ci skip] | |||
| 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 ↵ | Théo Zimmermann | |
| comments. [ci skip] | |||
| 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 | |
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |