fix: allow multiple connections to work with the runner#31
Merged
lars-reimann merged 17 commits intomainfrom fix-multiconnectionDec 16, 2023
+113-23
Commits
Commits on Dec 16, 2023
- committed
- committed
- committed
- committed
Merge branch 'fix-multiconnection' of https://github.com/Safe-DS/Runner into fix-multiconnection
committed- committed
- committed
- committed
- committed
- committed
- committed
Merge branch 'fix-multiconnection' of https://github.com/Safe-DS/Runner into fix-multiconnection
committed- committed
- committed
Merge branch 'fix-multiconnection' of https://github.com/Safe-DS/Runner into fix-multiconnection
committed- committed