Adapt Docker workflow#186

Merged

IshaanDesai merged 7 commits intodevelopfrom

modify-docker-pub

Aug 9, 2023

Commits on Aug 2, 2023

- modify args to fit to systemtest
Valentin Seitz
committed
bash string handling... Fun stuff
Valentin Seitz
committed
sprinkle in some "
Valentin Seitz
committed
adding some "debug" ouptut
Valentin Seitz
committed

Commits on Aug 3, 2023

Commits on Aug 9, 2023

Merge branch 'develop' into modify-docker-pub
MakisH
authored