• Home
  • History
  • Annotate
Name Date Size #Lines LOC

..03-May-2022-

README.mdH A D16-Sep-20211.9 KiB3822

config.ymlH A D16-Sep-202110.7 KiB328279

README.md

1# Documentation building on CircleCI
2
3CircleCI is used to build our documentations and tutorial examples. The purpose of this file is to provide some basic explanations on how users can configure documentation generation on CircleCI through commit messages.
4
5## Full builds and Partial builds
6
7On Pull Requests, CircleCI run "partial builds" by default which render all the rst files, but only build examples modified in the Pull Request. This saves a lot of time and ressources when working on Pull Requests.
8
9Occasionally, some changes necessitate rebuilding the documentation from scratch, for example to see the full effect of the changes. These are called "full builds".
10
11Note that **CircleCI will always run full builds on main.**
12
13You can request a CircleCI full build from a Pull Request at any time by including the tag "[circle full]" in your commit message. Note that this will trigger a full build of the documentation which usually takes around 90 minutes.
14
15```bash
16$ git commit -m "[circle full] request full build"
17```
18
19## Dataset caching
20
21We also implemented a dataset caching strategy within the CircleCI workflow such that datasets are only downloaded once every week. Once these datasets are cached, they will be used by all jobs running on CircleCI without requiring any download. This saves a lot of time and avoids potential network errors that can happen when downloading datasets from remote servers.
22
23Note that you can request to download all datasets and ignore the cache at any time by including the tag "[force download]" in your commit message.
24
25To run a full build and download all datasets, you would then combine both tags:
26
27```bash
28$ git commit -m "[circle full][force download] request full build"
29```
30
31## Skip CI
32
33You can decide to skip documentation building and tests execution at any time by including the tag "[skip ci]" in your commit message.
34
35```bash
36$ git commit -m "[skip ci] commit message"
37```
38