Skip to content

Development container build stage

Leon Frölje requested 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