diff options
| author | Dario Nieuwenhuis <[email protected]> | 2022-10-03 01:59:44 +0200 |
|---|---|---|
| committer | Dario Nieuwenhuis <[email protected]> | 2022-10-03 01:59:44 +0200 |
| commit | f075e624440af121da7a27a145e2acee0730c542 (patch) | |
| tree | 3bf9e6e962ffde1ba457a1ede35dbab204550ffe /.github/workflows | |
| parent | 63f5602111d53c552b2417b9386512788fee8766 (diff) | |
Use 1 thread in ci doc building.
Diffstat (limited to '.github/workflows')
| -rw-r--r-- | .github/workflows/doc.yml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.github/workflows/doc.yml b/.github/workflows/doc.yml index 349ca4040..49e1cf71c 100644 --- a/.github/workflows/doc.yml +++ b/.github/workflows/doc.yml | |||
| @@ -5,7 +5,7 @@ on: | |||
| 5 | branches: [master] | 5 | branches: [master] |
| 6 | 6 | ||
| 7 | env: | 7 | env: |
| 8 | BUILDER_THREADS: '2' | 8 | BUILDER_THREADS: '1' |
| 9 | 9 | ||
| 10 | jobs: | 10 | jobs: |
| 11 | doc: | 11 | doc: |