fix leading comma in tag_filter in build.sh (#18284)

run-all-tests: true
This commit is contained in:
Paul Brauner 2024-01-25 12:59:36 +01:00 committed by GitHub
parent 1ceaf5a581
commit e46c6f76f3
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194

View File

@ -59,6 +59,9 @@ if [ "$IS_FORK" = "True" ]; then
tag_filter="${tag_filter},-canton-ee"
fi
# remove possible leading comma
tag_filter="${tag_filter#,}"
# Occasionally we end up with a stale sandbox process for a hardcoded
# port number. Not quite sure how we end up with a stale process
# but it happens sufficiently rarely that just killing it here is