Skip to content

Add involved doc

Jérôme PETOT requested to merge doc_involved into main

Add a doc for how to dev in local

Change gitlab-ci to pull packages at build

Add mermaid support

Merge request reports