Need a runner for CI/CD builds

[ewanbarr]

We need a github runner (either our own or github's own) for doing builds on push.

I think it would be best if this would run on a CONTRA development node

[vivekvenkris]

@RobertSenzel It would be great if you take the CI/CD builds of all software. We can discuss during the next meeting on what needs to be done