CI for Linux

[jberkel]

We currently don't test on Linux

[nathanfallet]

We could add another job in the "Build and test" workflow running on Ubuntu for example

[jberkel]

Yes, that sounds good