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

Create a deploy action #85

Open
wants to merge 13 commits into
base: main
Choose a base branch
from

Conversation

pbarbarant
Copy link
Collaborator

@pbarbarant pbarbarant commented Jul 15, 2024

Updates various gh actions and implements automatic deployment of the docs on a gh-pages branch.

@bthirion
Copy link
Contributor

DO we need to merge in order to see if it works ?
@emdupre any comment ?

@pbarbarant
Copy link
Collaborator Author

DO we need to merge in order to see if it works ? @emdupre any comment ?

Yes in order to see the website, however we can check beforehand that the action completed successfully.

with:
name: doc
name: DocHTML
Copy link
Collaborator

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Why this change ?

Copy link
Collaborator Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I think it's better to be explicit about the format as sphinx can compile to various forms + it's consistent with other repos in Parietal-INRIA / mind-inria.

.github/workflows/doc-build.yml Show resolved Hide resolved
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants