Add github actions

[lfoppiano]

This PR adds a simple github action, which check that we haven't forgotten anything in the code