Add publication of GitLab pages and site generation with mkdocs
- Pages are published on push to main.
- Site added using the
mkdocs
tool
Todo: complete tutorial with genric tracker for pytohn and GDB
[A venir] Mise en place de quotas sur nos instances GitLab. Plus d'information sur : https://doc-si.inria.fr/pages/viewpage.action?pageId=129728565
[Coming soon] Quotas installation on our GitLab instances. More information: https://doc-si.inria.fr/pages/viewpage.action?pageId=129728565
mkdocs
toolTodo: complete tutorial with genric tracker for pytohn and GDB