Use "Dagger for GitHub" to clean up CI and make it more portable

[FriederikeHanssen]

Is your feature request related to a problem? Please describe

The actions have become increasingly complicated plus they are difficult to port to GitLab etc.

Describe the solution you'd like

Dagger for Github should help with this. For technical questions ask @edmundmiller

Describe alternatives you've considered

No response

Additional context

No response