Add tests in CI

[sylvainpelissier]

Checklist

• [ ] Closing issues: #issue
• [x] Mark this if you consider it ready to merge
• [x] I've added tests (optional)
• [ ] I wrote some documentation

Description

[trufae]

Before merging qhen everything gets green. Squash them into a single commit