Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Perform partial build if BUILD_REFNAME is HEAD #31

Closed
sjohnr opened this issue May 28, 2024 · 0 comments
Closed

Perform partial build if BUILD_REFNAME is HEAD #31

sjohnr opened this issue May 28, 2024 · 0 comments
Assignees
Labels
enhancement New feature or request
Milestone

Comments

@sjohnr
Copy link

sjohnr commented May 28, 2024

Expected behavior

When the BUILD_REFNAME is HEAD (i.e. a local docs build), a partial build should be performed, since building the docs locally does not impact the remote site and users may have no control over the remote site.

Current behavior

When performing a local docs build, we receive the following warning:

> Task :spring-security-docs:antora
partial-build-extension: version 6.4.0 not previously built; reverting to full build 

because at the time, the site manifest was missing a 6.4.0 version. This meant we could not build the docs locally until after the docs-build branch performed a full build of the remote site.

Related gh-24

@rwinch rwinch self-assigned this Jul 9, 2024
@rwinch rwinch added the enhancement New feature or request label Jul 9, 2024
@rwinch rwinch added this to the 1.12.0 milestone Jul 9, 2024
@rwinch rwinch closed this as completed in 4427a4b Jul 9, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
enhancement New feature or request
Projects
None yet
Development

No branches or pull requests

2 participants