Infrastructure: Add tests to Github Workflow #10
Description
Right now the Github Workflow only runs the compilation step of maven. It would be better if it also ran the tests that we have, so regressions can be found easily.
It is also a good skill to learn.