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.

Sign up for GitHub

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

Jump to bottom

Add publish workflow #15

Merged

rgreinho merged 1 commit into main from publish-workflow

Feb 8, 2022

Member

rgreinho commented Feb 8, 2022

Adds the publish workflow to publish the site when changes are merged to
the main branch.


          Add publish workflow

3a31c45

Adds the publish workflow to publish the site when changes are merged to
the `main` branch.

rgreinho self-assigned this

pull-request-size bot added the size/S label

rgreinho merged commit c58abd3 into main

rgreinho deleted the publish-workflow branch

February 8, 2022 01:43

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

size/S