ci: Update build.yml

This commit is contained in:
Nicolas Giard 2024-10-17 23:56:15 -04:00 committed by GitHub
parent b324d75583
commit 400bbca958
No known key found for this signature in database
GPG key ID: B5690EEEBB952194

View file

@ -275,7 +275,7 @@ jobs:
gh repo clone ietf-tools/datatracker -- --depth=1 --no-tags
cd datatracker
if [ "$SHOULD_DEPLOY" = "false" ] || [ "$GITHUB_REF_NAME" = "release" ] ; then
if [ "$SKIP_TESTS" = "false" ] || [ "$GITHUB_REF_NAME" = "release" ] ; then
echo "=========================================================================="
echo "Downloading coverage..."
echo "=========================================================================="