Development container build stage

Leon Fröljerequested to merge
development into main

Damit wir alle immer aktuelle dev container haben würde ich vorschlagen, dass wir die docker build stage auch für den dev container konfigurieren.

Merge request reports