Closed n-wbrown closed 3 years ago
Thanks! These look like good.
This CI only works for release stage, right? At times, I'd like to update documentation without publishing release.
Could you create a new CI flow for documentations build?
The CI should run only if there are some changes in docs/**
.
Can we do that like below?
on:
push:
paths:
- 'docs/**'
I've separated the documentation building into a separate script. Do you think it would make sense to constrain the documentation-building job to pushes to the master/main branch or is it better to leave it available for all branches?
Thank you for the updating! I think it would be better that the job runs only if we push to the master/main branch.
I've added the restriction to master/main. Additionally, in case we ever need it, there's a workflow_dispatch option which should allow us to prompt the script from the github actions interface.
It looks good to me. Thanks!
This PR adds documentation generation and posting to the
publish-release.yml
CI script. Documentation will be pushed to thegh-pages
branch whenever a new tag is pushed to the GitHub repository.Discussion is welcome.