Write templates for a CI pipeline in GitHub.

[amtoine]

This is mostly for the future, but, once the issue has been accepted, the feature developed and the PR opened, a CI pipeline could be a great way to ensure the quality of the code that has been requested to be merged to the code base.

First ideas:
The easiest way to get started is probably to use GitHub Actions. An extensive documentation about GitHub Actions can be found here.
According to the doc, this issue will be a great opportunity to create a first draft of the .github/worklows directory and experiment with existing GitHub Actions.