Merge pull request #10527 from hercules-ci/devShell-api-docs

devShell: enable API docs
This commit is contained in:
Eelco Dolstra 2024-04-17 15:35:35 +02:00 committed by GitHub
commit e0a8d38dad
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194

View File

@ -94,8 +94,8 @@
# Whether to build the internal/external API docs, can be done separately from
# everything else.
, enableInternalAPIDocs ? false
, enableExternalAPIDocs ? false
, enableInternalAPIDocs ? forDevShell
, enableExternalAPIDocs ? forDevShell
# Whether to install unit tests. This is useful when cross compiling
# since we cannot run them natively during the build, but can do so