Add basic CI pipeline

Davide Cavalcarequested to merge
dcavalca/project-docs:ci into main

So we can iterate more easily on the docs

Merge request reports