projects / feed / packages.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f1c0e9f) | patch
github-ci: add --force-removal-of-dependent-packages 13431/head
authorRosen Penev <rosenp@gmail.com>
Sat, 19 Sep 2020 06:56:12 +0000 (23:56 -0700)
committerRosen Penev <rosenp@gmail.com>
Sat, 19 Sep 2020 07:16:45 +0000 (00:16 -0700)
commit836b4e1c734f9705bfd8db0da0c04214c2647932
treee9d8fa65f8305dc0a37eef96ad4fd9e2287f236ctree | snapshot
parentf1c0e9fca917fbad537d91a9bc4340f35a0f5958commit | diff
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>
.github/workflows/entrypoint.sh diff | blob | history
Mirror of packages feed