Documentation Workflow
thibaultprouteau opened this issue · comments
Is your feature request related to a problem? Please describe.
Need for automatic build of the documentation upon push on main branch.
Describe the solution you'd like
When a push on main is done, the documentation is built and pushed to github pages.