We should run the examples in a CI to avoid issues like #7
We should run the examples in a CI to avoid issues like #7