diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 68681f3b..1f0f8293 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -12,7 +12,7 @@ jobs: steps: - uses: actions/checkout@v2 - name: fetch tags - run: git fetch --unshallow --tags --prune + run: git fetch --unshallow --tags --prune || true - name: make check run: make --keep-going all && MALLOC_CHECK_=7 MALLOC_PERTURB_=42 make --keep-going check shell: bash