You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Remove dependency to docker.io (backport of #985) (#987)
The dependency was basically added since this is needed to spawn up
ursim. However, the start_ursim script catches the case that no docker
executable is available and the tests requiring it are behind a compile
definition which is off by default.
So, in order to not install docker for users automatically, the dependency
shall be removed.
(cherry picked from commit 585e29f)
Co-authored-by: Felix Exner (fexner) <[email protected]>
0 commit comments