Wir lösen den Branch develop auf, weil wir einen anderen workflow integrieren werden
Checking pipeline status.
Merge details
mentioned in commit 366766f2
Status changed to merged