Skip to content

Update CI workflow to deploy to GitHub Pages.#102

Open
nuclearsandwich wants to merge 2 commits into
mainfrom
deploy-to-pages
Open

Update CI workflow to deploy to GitHub Pages.#102
nuclearsandwich wants to merge 2 commits into
mainfrom
deploy-to-pages

Conversation

@nuclearsandwich
Copy link
Copy Markdown
Contributor

Since the current colcon maintainers do not have administrative access to colcon.readthedocs.org this is an additional deployment configuration that can target eventually target colcon.github.io

  • Updates the CI build to run on pull requests.
  • Adds upload and deploy jobs which use the build results.

Since the current colcon maintainers do not have administrative access
to colcon.readthedocs.org this is an additional deployment configuration
that can target eventually target colcon.github.io

* Updates the CI build to run on pull requests.
* Adds upload and deploy jobs which use the build results.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Development

Successfully merging this pull request may close these issues.

1 participant