diff options
github-ci: add --force-removal-of-dependent-packages
Without this option, a package gets installed with its dependencies
but those do not get removed, causing issues later on with other
packages.
Signed-off-by: Rosen Penev <rosenp@gmail.com>
Diffstat (limited to '.github')
1 files changed, 1 insertions, 1 deletions