diff options
| author | David Kalnischkies <david@kalnischkies.de> | 2022-04-21 12:47:47 +0200 |
|---|---|---|
| committer | David Kalnischkies <david@kalnischkies.de> | 2022-05-07 10:45:44 +0200 |
| commit | cacf80aea3f1511aa1d8436fd4fd49d916390d10 (patch) | |
| tree | 75147af1071e830ebacf28cc89a87198e81cf1a4 /prepare-release | |
| parent | ccc6abd872fdbb443e0378addfd85e420b05a59a (diff) | |
Do not build documentation twice in CI
The documentation will not realistically vary between architectures so
building it twice is just wasting time and resources.
Diffstat (limited to 'prepare-release')
0 files changed, 0 insertions, 0 deletions