diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml index 4eb03f460..0d4e7932d 100644 --- a/.github/workflows/build.yml +++ b/.github/workflows/build.yml @@ -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 "=========================================================================="