Skip to content

Internal/ci documentation

Lionel requested to merge internal/ci_documentation into master

Added CI step to deploy aGrUM's documentation on docs.agrum.org.

Merge request reports