Improve plugin site & add GitHub workflow #398
Merged
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
Resolves #394
These changes add a new workflow for publishing the plugin site. It runs when:
Additionally, every CI build also builds the plugin site (but does not deploy it) to make sure that building it works, and to avoid any surprises when trying to create a release.
Here is an example of the new site: https://marcono1234.github.io/proguard-maven-plugin/index.html
If you want anything changed, please let me know.
Open tasks for you as maintainers:
github-pages
environment, as suggested by https://github.com/actions/deploy-pages?tab=readme-ov-file#security-considerationson: release
of the workflow setup in this pull request, then it seems you also need to not only add themaster
branch as allowed, but also a wildcard for tags, e.g.v*
(but requires consistent tag naming, or just any tags with*
?)And maybe you want to also protect those
v*
tags (or just any tags with*
?) under https://github.com/wvengen/proguard-maven-plugin/settings/tag_protection then