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

Update release.yml #736

Merged
merged 1 commit into from
Nov 6, 2023
Merged

Update release.yml #736

merged 1 commit into from
Nov 6, 2023

Conversation

philipwindecker
Copy link
Contributor

Added Antora Generator call at the end to trigger the GitHub Pages build.

Add a description

When a release is published, the release pipeline generates the new release package.
However, currently the Antora Generator only runs in that pipeline to create the slimmer package output.
The GitHub pages are, therefore, not updated with the new release automatically.

To solve this, a final call was added to trigger the Generator after the package has been created and uploaded. This will ensure that the new tag is also included in the GitHub pages, but only if the release update was successful.

@philipwindecker philipwindecker added Documentation Everything which impacts the quality of the documentation and guidelines. ReadyForCCBReview Indicates that this MR is ready for a final review and merge by the CCB. labels Jul 27, 2023
Added Antora Generator call at the end to
trigger the GitHub Pages build.

Signed-off-by: Pierre R. Mai <pmai@pmsf.de>
@pmai pmai added ReadyToMerge This PR has been approved to merge and will be merged by a member of the CCB. and removed ReadyForCCBReview Indicates that this MR is ready for a final review and merge by the CCB. labels Nov 6, 2023
@pmai pmai self-assigned this Nov 6, 2023
@pmai pmai merged commit 812ddb9 into master Nov 6, 2023
6 checks passed
@pmai pmai added this to the V3.7.0 milestone Apr 4, 2024
@jdsika
Copy link
Contributor

jdsika commented Apr 23, 2024

Reviewed for v3.7.0

@jdsika jdsika deleted the philipwindecker-patch-1 branch April 23, 2024 12:25
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Documentation Everything which impacts the quality of the documentation and guidelines. ReadyToMerge This PR has been approved to merge and will be merged by a member of the CCB.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants