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

Leverage GitHub Action to build master on merge/push #28

Closed
mrolli opened this issue Jan 25, 2022 · 0 comments · Fixed by #32
Closed

Leverage GitHub Action to build master on merge/push #28

mrolli opened this issue Jan 25, 2022 · 0 comments · Fixed by #32
Assignees
Labels
Res: fixed This has been fixed/done. Sev: minor Minor loss of function, or other problem where easy workaround is present. Top: documentation Improvements or additions to documentations Typ: enhancement New functionality is needed. Something existing needs an enhancement.

Comments

@mrolli
Copy link
Member

mrolli commented Jan 25, 2022

Is your feature request related to a current shortcoming? Please describe.
GitHub Actions offer a way to run code on certain events around code management.
One can imagine that as "server-side webhooks".

Describe the solution you'd like
The task to render the documentation should be automated using a Github Action.
Whenever an admin is happy with a new fix/addition in a feature branch, upon merging
this change in a PR into master, the documentation is automatically built.

@mrolli mrolli added Typ: enhancement New functionality is needed. Something existing needs an enhancement. Sev: minor Minor loss of function, or other problem where easy workaround is present. Top: documentation Improvements or additions to documentations Typ: enhancement New functionality is needed. Something existing needs an enhancement. labels Jan 25, 2022
@mrolli mrolli changed the title Leverage GitHub Actions to build mast on push LEverage GitHub Action to build master on merge/push Jan 25, 2022
@mrolli mrolli self-assigned this Jan 25, 2022
@mrolli mrolli changed the title LEverage GitHub Action to build master on merge/push Leverage GitHub Action to build master on merge/push Jan 25, 2022
@mrolli mrolli added Typ: enhancement New functionality is needed. Something existing needs an enhancement. and removed Typ: enhancement New functionality is needed. Something existing needs an enhancement. Typ: enhancement New functionality is needed. Something existing needs an enhancement. labels Jan 26, 2022
@mrolli mrolli closed this as completed in #32 Feb 2, 2022
@mrolli mrolli added the Res: fixed This has been fixed/done. label Feb 3, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Res: fixed This has been fixed/done. Sev: minor Minor loss of function, or other problem where easy workaround is present. Top: documentation Improvements or additions to documentations Typ: enhancement New functionality is needed. Something existing needs an enhancement.
Projects
None yet
Development

Successfully merging a pull request may close this issue.

1 participant