| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2020-05-18 | Direct URL for triggering a pipeline with SKIP_DOCKER=false. | Théo Zimmermann | |
| 2020-05-04 | update documentation for overlay building | Olivier Laurent | |
| 2020-04-29 | correct script name create_overlays.sh | Olivier Laurent | |
| 2020-02-01 | No spaces with em-dashes. | Théo Zimmermann | |
| Co-Authored-By: Jason Gross <jasongross9@gmail.com> | |||
| 2020-01-31 | Clarify expectations for overlays in contributing guide and CI doc. | Théo Zimmermann | |
| Contributors are *not* required to prepare all the patches by themselves. They can request help from project authors, who should be ready to take part in this. Also, finish replacing "development" by the more appropriate word "project". | |||
| 2019-08-19 | Remove links to doc artifacts and replace them with the deployed versions. | Théo Zimmermann | |
| 2019-05-21 | Fixing typos - Part 1 | JPR | |
| 2019-02-04 | Remove AppVeyor: superseded by Azure. | Théo Zimmermann | |
| 2019-01-22 | Remove travis | Gaëtan Gilbert | |
| The azure OSX job replaces the first travis job, and the second always fails and so is useless. | |||
| 2018-12-21 | Move lint job to gitlab | Gaëtan Gilbert | |
| This changes the semantics a bit since we don't have TRAVIS_COMMIT_RANGE anymore, instead we do per-commit linting for the commits since the last merge commit. | |||
| 2018-12-17 | Set up CI with Azure Pipelines | Gaëtan Gilbert | |
| 2018-11-24 | Apply suggestions from code review | Théo Zimmermann | |
| Thanks to @Zimmi48 as always for the careful review. Co-Authored-By: ejgallego <e+git@x80.org> | |||
| 2018-11-24 | [ci] [doc] Note about `overlay-maintainers` team. | Emilio Jesus Gallego Arias | |
| 2018-11-24 | [ci] [doc] Note about `create-overlays.sh` | Emilio Jesus Gallego Arias | |
| 2018-11-24 | [ci] [doc] Split user/developer README, add info about Nix/Docker CI | Emilio Jesus Gallego Arias | |
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |