remove jenkins #1444
Description
Issue
Jenkins must die. Switch to github actions
Task
[See sub issues]
TODO: add more (there are probably more)
{{ message }}
Jenkins must die. Switch to github actions
[See sub issues]
TODO: add more (there are probably more)