mirror of
https://gitlab.redox-os.org/redox-os/redox.git
synced 2026-11-05 04:06:38 +08:00
CI: Ignore deleted recipes in fetch-changed
This commit is contained in:
parent
af5c2fb695
commit
971a12a56d
@ -4,7 +4,7 @@ set -e
|
||||
|
||||
git fetch origin master
|
||||
packages=""
|
||||
for toml in $(git diff --name-only origin/master... | grep '/recipe.toml$' | sort | uniq)
|
||||
for toml in $(git diff --name-only origin/master... --diff-filter=d | grep '/recipe.toml$' | sort | uniq)
|
||||
do
|
||||
package="$(basename "$(dirname "${toml}")")"
|
||||
if [ -n "${packages}" ]
|
||||
|
||||
Loading…
Reference in New Issue
Block a user