Execute the tests with a pipeline

[fuchs-fabian]

To make it easier to determine whether the unit tests have all run successfully, it makes sense to have a GitHub pipeline that executes them.